Your search returned 13 results.

Not what you expected? Check for suggestions

Results
	1.	Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.). by FATES 2003 (2003 : Montréal, Québec) Petrenko, Alexandre Ulrich, Andreas (Engineer) IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec) Series: Lecture notes in computer science ; 2931. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds). by VMCAI 2004 (2004 : Venice, Italy) Steffen, Bernhard Levi, G. (Giorgio), 1942- ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy) Series: Lecture notes in computer science ; 2937. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004 Other title: VMCAI 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.). by Siekmann, Jörg H Hutter, Dieter Stephan, Werner Series: Lecture notes in computer science ; 2605. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| Lecture notes in computer science. Festschrift. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy) Bernardo, Marco Bogliolo, Alessandro Series: Lecture notes in computer science ; 3465. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11419822 Publication details: Berlin ; New York : Springer, 2005 Other title: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems SFM-Moby 2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski [and others] (eds.). by Ehrig, Hartmut Kreowski, H.-J. (Hans-Jörg) Series: Lecture notes in computer science ; 3393. \| Lecture notes in computer science. Festschrift. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers / Jens Grabowski, Brian Nielsen (eds.). by FATES 2004 (2004 : Linz, Austria) Grabowski, Jens Nielsen, Brian, Ph. D Series: Lecture notes in computer science ; 3395. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11400752 Publication details: Berlin ; New York : Springer, 2005 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / Martin Steffen, Gianluigi Zavattaro (eds.). by International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece) Steffen, Martin Zavattaro, Gianluigi IFIP Working Group 6.1 Series: Lecture notes in computer science ; 3535. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: FMOODS 2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.). by International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England) Fitzgerald, John, 1965- Hayes, Ian Tarlecki, Andrzej Series: Lecture notes in computer science ; 3582. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005 Other title: Formal methods 2005 International Symposium of Formal Methods Europe FME Formal methods Europe Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.). by EPEW (Workshop) (2005 : Versailles, France) Bravetti, Mario Kloul, Leïla Zavattaro, Gianluigi International Workshop on Web Services and Formal Methods (2005 : Versailles, France) Series: Lecture notes in computer science ; 3670. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005 Other title: EPEW 2005 WS-FM 2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.). by FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands) Boer, Frank S. de Series: Lecture notes in computer science ; 3657. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: FMCO 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.). by FORTE 2005 (2005 : Taipei, Taiwan) Wang, Farn IFIP Working Group 6.1 Series: Lecture notes in computer science ; 3731. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: FORTE 2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers / Michael G. Hinchey [and others] (eds.). by FAABS 2004 (2004 : Greenbelt, Md.) Hinchey, Michael G. (Michael Gerard), 1969- Series: Lecture notes in computer science ; 3228. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: FAABS 2004 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. by Boiten, Eerke, 1966- Derrick, John, 1963- Smith, Graeme, 1966- Series: Lecture notes in computer science ; 2999, Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha