Your search returned 205 results.

Not what you expected? Check for suggestions

Results
161.	Image from Amazon.com Image from Google Jackets	Formal Methods: Foundations and Applications by Rohit Gheyi, David Naumann Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
162.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Marcin Jurdziński, Dejan Ničković Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
163.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Distributed Systems by Holger Giese, Grigore Rosu Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
164.	Image from Amazon.com Image from Google Jackets	Formal Verification of Object-Oriented Software by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
165.	Image from Amazon.com Image from Google Jackets	Foundations of Algebraic Specification and Formal Software Development by Donald Sannella, Andrzej Tarlecki Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
166.	Image from Amazon.com Image from Google Jackets	Integrated Formal Methods by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
167.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
168.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
169.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification, and Validation by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
170.	Image from Amazon.com Image from Google Jackets	NASA Formal Methods by Alwyn E. Goodloe, Suzette Person Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
171.	Image from Amazon.com Image from Google Jackets	Software Engineering and Formal Methods by George Eleftherakis, Mike Hinchey, Mike Holcombe Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
172.	Image from Amazon.com Image from Google Jackets	Theorie and Applications of Formal Argumentation by Sanjay Modgil, Nir Oren, Francesca Toni Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
173.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Marco Carbone, Jean-Marc Petit Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
174.	Image from Amazon.com Image from Google Jackets	Descriptional Complexity of Formal Systems by Helmut Jurgensen, Rogério Reis Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
175.	Image from Amazon.com Image from Google Jackets	Formal Aspects of Component Software by Corina S. Păsăreanu, Gwen Salaün Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
176.	Image from Amazon.com Image from Google Jackets	Formal Concept Analysis by Peggy Cellier, Felix Distel, Bernhard Ganter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
177.	Image from Amazon.com Image from Google Jackets	Formal Grammar by Glyn Morrill, Mark-Jan Nederhof Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
178.	Image from Amazon.com Image from Google Jackets	Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
179.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Lindsay Groves, Jing Sun Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
180.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists