Your search returned 3 results.

Results
	1.	Formal Methods for Executable Software Models [electronic resource] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. by Bernardo, Marco [editor.] Damiani, Ferruccio [editor.] Hähnle, Reiner [editor.] Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8483 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4468 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	3.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7940 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Maintained by VTU Library