Communiqués par Jean-Raymond Abrial

Cover for Jean-Raymond Abrial · Modeling in Event-B: System and Software Engineering (Hardcover Book) (2010)
Hardcover Book
Modeling in Event-B: System and ...
Jean-Raymond Abrial
Cover for Jean-raymond Abrial · Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science (Paperback Book) (2010)
Paperback Book
Rigorous Methods for Software Co...
Jean-raymond Abrial
Cover for Jean-raymond Abrial · Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science (Paperback Book) [1996 edition] (1996)
Paperback Book
1996 edition
Formal Methods for Industrial Ap...
Jean-raymond Abrial