>> Google Books

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Michael Butler, Sylvain Conchon, Fatiha Zaidi
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XXV, 436 p. 150 illus. in color
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9407
書誌ID:
LB00386552
ISBN:
9783319254227 [3319254227]  CiNii Books  Webcat Plus  Google Books
9783319254234 [3319254235]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Piterman, Nir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Fantechi, Alessandro, Pelliccione, Patrizio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Blanchette, Jasmin Christian, Kosmatov, Nikolai, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Barros, Marcio, Labiche, Yvan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Desmedt, Yvo, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Holvoet, Tom, Viroli, Mirko, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer