Your search returned 205 results.

Not what you expected? Check for suggestions

Results
141.	Image from Amazon.com Image from Google Jackets	Formal Methods, Foundations and Applications by Adenilso Simao, Carroll Morgan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
142.	Image from Amazon.com Image from Google Jackets	Formal Methods: Foundations and Applications by Jim Davies, Leila Silva, Adenilso Simao Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
143.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Uli Fahrenberg, Stavros Tripakis Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
144.	Image from Amazon.com Image from Google Jackets	Formal Modeling: Actors, Open Systems, Biological Systems by Gul Agha, Olivier Danvy, José Meseguer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
145.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Distributed Systems by Roberto Bruni, Juergen Dingel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
146.	Image from Amazon.com Image from Google Jackets	Formal Verification of Object-Oriented Software by Bernhard Beckert, Claude Marché Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
147.	Image from Amazon.com Image from Google Jackets	NASA Formal Methods by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
148.	Image from Amazon.com Image from Google Jackets	Software Engineering and Formal Methods by Gilles Barthe, Alberto Pardo, Gerardo Schneider Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
149.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Mario Bravetti, Tevfik Bultan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
150.	Image from Amazon.com Image from Google Jackets	Descriptional Complexity of Formal Systems by Martin Kutrib, Nelma Moreira, Rogério Reis 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
151.	Image from Amazon.com Image from Google Jackets	FM 2012: Formal Methods by Dimitra Giannakopoulou, Dominique Méry 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
152.	Image from Amazon.com Image from Google Jackets	Formal Aspects of Component Software by Luís Soares Barbosa, Markus Lumpe 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
153.	Image from Amazon.com Image from Google Jackets	Formal Aspects of Component Software by Farhad Arbab, Peter Csaba Ölveczky 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
154.	Image from Amazon.com Image from Google Jackets	Formal Aspects of Security and Trust by Gilles Barthe, Anupam Datta, Sandro Etalle 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
155.	Image from Amazon.com Image from Google Jackets	Formal Concept Analysis by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans 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
156.	Image from Amazon.com Image from Google Jackets	Formal Grammar by Philippe Groote, Mark-Jan Nederhof 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
157.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Toshiaki Aoki, Kenji Taguchi 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
158.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue 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
159.	Image from Amazon.com Image from Google Jackets	Formal Methods for Industrial Critical Systems by Mariëlle Stoelinga, Ralf Pinger 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
160.	Image from Amazon.com Image from Google Jackets	Formal Methods for Model-Driven Engineering by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio 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