Your search returned 205 results.

Not what you expected? Check for suggestions

Results
81.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Jean-François Raskin, P. S. Thiagarajan 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
82.	Image from Amazon.com Image from Google Jackets	Formal Models of Operating System Kernels by Iain D. Craig 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
83.	Image from Amazon.com Image from Google Jackets	Formal Refinement for Operating System Kernels by Iain D. Craig 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
84.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Networked and Distributed Systems – FORTE 2007 by John Derrick, Jüri Vain 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
85.	Image from Amazon.com Image from Google Jackets	Integrated Formal Methods by Jim Davies, Jeremy Gibbons 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
86.	Image from Amazon.com Image from Google Jackets	SAT-Based Scalable Formal Verification Solutions by Malay K. Ganai, Aarti Gupta 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
87.	Image from Amazon.com Image from Google Jackets	FM 2008: Formal Methods by Jorge Cuellar, Tom Maibaum, Kaisa Sere Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
88.	Image from Amazon.com Image from Google Jackets	Formal Concept Analysis by Raoul Medina, Sergei Obiedkov Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
89.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Shaoying Liu, Tom Maibaum, Keijiro Araki Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
90.	Image from Amazon.com Image from Google Jackets	Formal Methods and Testing by Robert M. Hierons, Jonathan P. Bowen, Mark Harman Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
91.	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 2008 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
92.	Image from Amazon.com Image from Google Jackets	Formal Methods for Computational Systems Biology by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
93.	Image from Amazon.com Image from Google Jackets	Formal Methods for Industrial Critical Systems by Stefan Leue, Pedro Merino Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
94.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Gilles Barthe, Frank S. Boer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
95.	Image from Amazon.com Image from Google Jackets	Formal Methods in Systems Biology by Jasmin Fisher Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
96.	Image from Amazon.com Image from Google Jackets	Formal Modeling and Analysis of Timed Systems by Franck Cassez, Claude Jard Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
97.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Networked and Distributed Systems – FORTE 2008 by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
98.	Image from Amazon.com Image from Google Jackets	Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs by Barbara Paech, Craig Martell Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
99.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Marlon Dumas, Reiko Heckel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 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
100.	Image from Amazon.com Image from Google Jackets	FM 2009: Formal Methods by Ana Cavalcanti, Dennis R. Dams Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 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