Your search returned 2 results.

Results
	1.		Image from Amazon.com	Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer. by Abrial, Jean-Raymond [editor.] Glässer, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5115Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Modeling in Event-B [electronic resource] : system and software engineering / Jean-Raymond Abrial. by Abrial, Jean-Raymond Safari eBooks 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search