Udgivelser med Jean-raymond Abrial

Cover for Jean-Raymond Abrial · Modeling in Event-B: System and Software Engineering (Hardcover bog) (2010)
Hardcover bog
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 Bog) (2010)
Paperback Bog
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 Bog) [1996 edition] (1996)
Paperback Bog
1996 edition
Formal Methods for Industrial Ap...
Jean-raymond Abrial