Your search returned 44 results.

1
2
3
Next
Last

Results per page:

Results
1.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Valeria Bertacco, Axel Legay 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	Programming Languages and Systems by Chung-chieh Shan 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).
3.	Image from Amazon.com Image from Coce	Generative and Transformational Techniques in Software Engineering IV by Ralf L�mmel, Jo�o Saraiva, Joost Visser 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).
4.	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).
5.	Image from Amazon.com Image from Coce	Software Composition by Walter Binder, Eric Bodden, Welf L�we 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).
6.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti 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).
7.	Image from Amazon.com Image from Coce	Formal Methods for Components and Objects by Elena Giachino, Reiner H�hnle, Frank S. Boer, Marcello M. Bonsangue 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).
8.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Charles Pecheur, Michael Dierkes 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).
9.	Image from Amazon.com Image from Coce	Functional and Logic Programming by Michael Codish, Eijiro Sumii 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).
10.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Elvira Albert, Emil Sekerinski 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).
11.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Dimitra Giannakopoulou, Gwen Sala�n 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).
12.	Image from Amazon.com Image from Coce	Verified Software: Theories, Tools and Experiments by Dimitra Giannakopoulou, Daniel Kroening 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).
13.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Jacques Garrigue 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).
14.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Eran Yahav 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).
15.	Image from Amazon.com Image from Coce	Verified Software: Theories, Tools, Experiments by Ernie Cohen, Andrey Rybalchenko 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).
16.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Christiano Braga, Narciso Mart�-Oliet 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).
17.	Image from Amazon.com Image from Coce	Software, Services, and Systems by Rocco Nicola, Rolf Hennicker 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).
18.	Image from Amazon.com Image from Coce	Software Engineering for Collective Autonomic Systems by Martin Wirsing, Matthias H�lzl, Nora Koch, Philip Mayer 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).
19.	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).
20.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Radu Calinescu, Bernhard Rumpe 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).