IMSc Library catalog › Results of search for 'au:"Holzmann, Gerard J."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Partial order methods in verification DIMACS workshop July 24-26, 1996 by Peled, Doron A. Ed \| Pratt, Vaughan R. Ed \| Holzmann, Gerard J. Ed. Series: DIMACS series in discrete mathematics and theoretical computer science ; 29Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 17 Call number: 621 PEL. Place hold Log in to add tags
			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): . Place hold Log in to add tags