Buy Used and New Jean-RaymondAbrial Books

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jean-Raymond Abrial, Uwe Glässer

ISBN 13: 9783642114465

Format: Paperback (256 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Modeling in Event-B: System and Software Engineering

by N/A

ISBN 13: 9780521895569

Format: Hardcover (612 pages)
Publisher: Cambridge University Press
Published: 13 May 2010

Save for later