Your search returned 205 results.

Not what you expected? Check for suggestions

Results
181.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Elena Giachino, Reiner Hähnle, 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
182.	Image from Amazon.com Image from Google Jackets	Formal Methods for Dynamical Systems by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky 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
183.	Image from Amazon.com Image from Google Jackets	Formal Methods for Industrial Critical Systems by Charles Pecheur, Michael Dierkes 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
184.	Image from Amazon.com Image from Google Jackets	Formal Methods: Foundations and Applications by Juliano Iyoda, Leonardo Moura 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
185.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Víctor Braberman, Laurent Fribourg 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
186.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Distributed Systems by Dirk Beyer, Michele Boreale 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
187.	Image from Amazon.com Image from Google Jackets	Integrated Formal Methods by Einar Broch Johnsen, Luigia Petre 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
188.	Image from Amazon.com Image from Google Jackets	NASA Formal Methods by Guillaume Brat, Neha Rungta, Arnaud Venet 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
189.	Image from Amazon.com Image from Google Jackets	Software Engineering and Formal Methods by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti 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
190.	Image from Amazon.com Image from Google Jackets	Structured Object-Oriented Formal Language and Method by Shaoying Liu 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
191.	Image from Amazon.com Image from Google Jackets	Theories of Programming and Formal Methods by Zhiming Liu, Jim Woodcock, Huibiao Zhu 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
192.	Image from Amazon.com Image from Google Jackets	Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu, Jim Woodcock, Huibiao Zhu 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
193.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Maurice H. Beek, Niels Lohmann 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
194.	Image from Amazon.com Image from Google Jackets	A Roadmap for Formal Property Verification by Pallab DasGupta Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
195.	Image from Amazon.com Image from Google Jackets	Scalable Techniques for Formal Verification by Sandip Ray Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
196.	Image from Amazon.com Image from Google Jackets	Formal Development of a Network-Centric RTOS by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
197.	Image from Amazon.com Image from Google Jackets	Recent Advances in Formal Languages and Applications by Zoltán Esik, Carlos Martín-Vide, Victor Mitrana Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
198.	Image from Amazon.com Image from Google Jackets	Applying Fuzzy Mathematics to Formal Models in Comparative Politics by Terry D. Clark, Jennifer M. Larson, John N. Mordeson, Joshua D. Potter, Mark J. Wierman Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
199.	Image from Amazon.com Image from Google Jackets	New Developments in Formal Languages and Applications by Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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
200.	Image from Amazon.com Image from Google Jackets	Formal Methods for Mining Structured Objects by Gemma C Garriga Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2014 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