|
|
|
|
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Bobaru, Mihaela [editor.] | Havelund, Klaus [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6617Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7152Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9058 | Lecture Notes in Computer Science ; 9058Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
