Your search returned 354 results.

Results
141.	Image from Amazon.com Image from Coce	NASA Formal Methods by Klaus Havelund, Gerard Holzmann, Rajeev Joshi 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).
142.	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).
143.	Image from Amazon.com Image from Coce	Coordination Models and Languages by Tom Holvoet, Mirko Viroli 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).
144.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Manuel N��ez, Matthias G�demann 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).
145.	Image from Amazon.com Image from Coce	Application and Theory of Petri Nets and Concurrency by Raymond Devillers, Antti Valmari 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).
146.	Image from Amazon.com Image from Coce	Reliable Software Technologies � Ada-Europe 2015 by Juan Antonio de la Puente, Tullio Vardanega 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).
147.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Enrico Pontelli, Tran Cao Son 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).
148.	Image from Amazon.com Image from Coce	Mathematics of Program Construction by Ralf Hinze, Janis Voigtl�nder 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).
149.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Gabriele Taentzer, Francis Bordeleau 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).
150.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformations by Dimitris Kolovos, Manuel Wimmer 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).
151.	Image from Amazon.com Image from Coce	Tests and Proofs by Jasmin Christian Blanchette, Nikolai Kosmatov 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).
152.	Image from Amazon.com Image from Coce	Search-Based Software Engineering by M�rcio Barros, Yvan Labiche 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).
153.	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).
154.	Image from Amazon.com Image from Coce	Software Engineering for Resilient Systems by Alessandro Fantechi, Patrizio Pelliccione 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).
155.	Image from Amazon.com Image from Coce	Logic, Rewriting, and Concurrency by Narciso Mart�-Oliet, Peter Csaba �lveczky, Carolyn Talcott 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).
156.	Image from Amazon.com Image from Coce	Advanced Parallel Processing Technologies by Yunji Chen, Paolo Ienne, Qing Ji 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).
157.	Image from Amazon.com Image from Coce	Model Checking Software by Bernd Fischer, Jaco Geldenhuys 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).
158.	Image from Amazon.com Image from Coce	Correct System Design by Roland Meyer, Andr� Platzer, Heike Wehrheim 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).
159.	Image from Amazon.com Image from Coce	Software Architecture by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic 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).
160.	Image from Amazon.com Image from Coce	Runtime Verification by Ezio Bartocci, Rupak Majumdar 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).