Your search returned 9 results.

Results
1.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Einar Broch Johnsen, Luigia Petre Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Formal Methods for Executable Software Models by Marco Bernardo, Ferruccio Damiani, Reiner H�hnle, Einar Broch Johnsen, Ina Schaefer Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Formal Methods for Multicore Programming by Marco Bernardo, Einar Broch Johnsen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
4.	Image from Amazon.com Image from Coce	Theory and Practice of Formal Methods by Erika �brah�m, Marcello Bonsangue, Einar Broch Johnsen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
5.	Image from Amazon.com Image from Coce	Service-Oriented and Cloud Computing by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
6.	Image from Amazon.com Image from Coce	Tests and Proofs by Sebastian Gabmeyer, Einar Broch Johnsen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
7.	Image from Amazon.com Image from Coce	Service-Oriented and Cloud Computing by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
8.		Software Engineering and Formal Methods by Einar Broch Johnsen, Ina Schaefer Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online resources: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
9.	Image from Amazon.com Image from Coce	Active Object Languages: Current Research Trends by Frank de Boer Eduard Kamburjan Einar Broch Johnsen Ferruccio Damiani Reiner H�hnle Series: Lecture Notes in Computer Science Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).