>> Google Books

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

フォーマット:
電子ブック
責任表示:
edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XIII, 458 p. 115 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9058
書誌ID:
LB00386222
ISBN:
9783319175232 [3319175238]  CiNii Books  Webcat Plus  Google Books
9783319175249 [3319175246]  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

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

Springer International Publishing : Imprint: Springer

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Braga, Christiano, Marti-Oliet, Narciso, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Pontelli, Enrico, Son, Tran Cao, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Butler, Michael, Conchon, Sylvain, Zaidi, Fatiha, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bernardo, Marco, Johnsen, Einar Broch, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

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

Springer International Publishing : Imprint: Springer

Nunez, Manuel, Gudemann, Matthias, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

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

Springer Berlin Heidelberg : Imprint: Springer

Brodman, James, Tu, Peng, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer