Your search returned 110 results.

Not what you expected? Check for suggestions

Results
41.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria, Bernhard Steffen 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
42.	Image from Amazon.com Image from Google Jackets	Runtime Verification by Saddek Bensalem, Doron A. Peled 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
43.	Image from Amazon.com Image from Google Jackets	Software Verification and Analysis by William Stanley, Janusz Laski 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
44.	Image from Amazon.com Image from Google Jackets	Verification of Sequential and Concurrent Programs by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog 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
45.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Neil D. Jones, Markus Müller-Olm 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
46.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Ahmed Bouajjani, Wei-Ngan Chin Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
47.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Tayssir Touili, Byron Cook, Paul Jackson Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
48.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification, and Validation by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
49.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification, and Validation by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
50.	Image from Amazon.com Image from Google Jackets	Runtime Verification by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
51.	Image from Amazon.com Image from Google Jackets	Specification and Verification of Declarative Open Interaction Models by Marco Montali Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
52.	Image from Amazon.com Image from Google Jackets	Specification and Verification of Multi-agent Systems by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
53.	Image from Amazon.com Image from Google Jackets	Time for Verification by Zohar Manna, Doron A. Peled Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
54.	Image from Amazon.com Image from Google Jackets	Verification and Validation in Systems Engineering by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
55.	Image from Amazon.com Image from Google Jackets	Verification, Induction, Termination Analysis by Simon Siegler, Nathan Wasser Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
56.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Gilles Barthe, Manuel Hermenegildo Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
57.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Tevfik Bultan, Pao-Ann Hsiung 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
58.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Ganesh Gopalakrishnan, Shaz Qadeer 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
59.	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
60.	Image from Amazon.com Image from Google Jackets	Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Radu Calinescu, Ethan Jackson 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