Your search returned 205 results.

Not what you expected? Check for suggestions

Results
61.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Zhiming Liu, Jifeng He Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
62.	Image from Amazon.com Image from Google Jackets	Formal Methods and Stochastic Models for Performance Evaluation by András Horváth, Miklós Telek Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
63.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
64.	Image from Amazon.com Image from Google Jackets	Formal Methods for Hardware Verification by Marco Bernardo, Alessandro Cimatti Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
65.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Roberto Gorrieri, Heike Wehrheim Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
66.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Eugene Asarin, Patricia Bouyer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
67.	Image from Amazon.com Image from Google Jackets	Formal Models of Communicating Systems by Benedikt Bollig Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
68.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Networked and Distributed Systems - FORTE 2006 by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
69.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
70.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 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
71.	Image from Amazon.com Image from Google Jackets	Formal Aspects in Security and Trust by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
72.	Image from Amazon.com Image from Google Jackets	Formal Concept Analysis by Sergei O. Kuznetsov, Stefan Schmidt Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
73.	Image from Amazon.com Image from Google Jackets	Formal Correctness of Security Protocols by Giampaolo Bella Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
74.	Image from Amazon.com Image from Google Jackets	Formal Methods and Hybrid Real-Time Systems by Cliff B. Jones, Zhiming Liu, Jim Woodcock Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
75.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
76.	Image from Amazon.com Image from Google Jackets	Formal Methods and Stochastic Models for Performance Evaluation by Katinka Wolter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
77.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
78.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Marcello M. Bonsangue, Einar Broch Johnsen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
79.	Image from Amazon.com Image from Google Jackets	Formal Methods for Performance Evaluation by Marco Bernardo, Jane Hillston Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
80.	Image from Amazon.com Image from Google Jackets	Formal Methods: Applications and Technology by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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