Your search returned 205 results.

Not what you expected? Check for suggestions

Results
41.	Image from Amazon.com Image from Google Jackets	Formal Aspects in Security and Trust by Theo Dimitrakos, Fabio Martinelli Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Concept Analysis by Bernhard Ganter, Gerd Stumme, Rudolf Wille Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Concept Analysis by Bernhard Ganter, Robert Godin Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Methods and Software Engineering by Kung-Kiu Lau, Richard Banach Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	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 2005 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	Formal Methods for Mobile Computing by Marco Bernardo, Alessandro Bogliolo Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Methods for Open Object-Based Distributed Systems by Martin Steffen, Gianluigi Zavattaro Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Methods in Software and Systems Modeling by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Modeling and Analysis of Timed Systems by Paul Pettersson, Wang Yi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Techniques for Computer Systems and Business Processes by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Formal Techniques for Networked and Distributed Systems - FORTE 2005 by Farn Wang Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Integrated Formal Methods by Judi Romijn, Graeme Smith, Jaco Pol Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	ZB 2005: Formal Specification and Development in Z and B by Helen Treharne, Steve King, Martin Henson, Steve Schneider Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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	Agent Technology from a Formal Perspective by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears 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
55.	Image from Amazon.com Image from Google Jackets	B 2007: Formal Specification and Development in B by Jacques Julliand, Olga Kouchnarenko 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
56.	Image from Amazon.com Image from Google Jackets	FM 2006: Formal Methods by Jayadev Misra, Tobias Nipkow, Emil Sekerinski 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
57.	Image from Amazon.com Image from Google Jackets	Formal Approaches to Software Testing by Wolfgang Grieskamp, Carsten Weise 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
58.	Image from Amazon.com Image from Google Jackets	Formal Approaches to Software Testing and Runtime Verification by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff 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
59.	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 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
60.	Image from Amazon.com Image from Google Jackets	Formal Concept Analysis by Rokia Missaoui, Jürg Schmidt 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