Your search returned 3 results.

Results
	1.	FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John Hayes, Ian J Tarlecki, Andrzej SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3582 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 F58 2005. Place hold Add to cart (remove)
	2.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S Haxthausen, Anne E Yenigun, Husnu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5160 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John Larsen, Peter Gorm Mukherjee, Paul Plat, Nico Verhoef, Marcel SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.O35 F58 2005. Place hold Add to cart (remove)

Powered by Koha