Releases med Jean-raymond Abrial

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