Uitgaven door Jean-Raymond Abrial

Alle3
Hardcover Book1
Paperback Book2

Op voorraad bij iMusic Toon niet beschikbare artikelen

Cover for Jean-Raymond Abrial · Modeling in Event-B: System and Software Engineering (Hardcover Book) (2010)

Modeling in Event-B: System and ... (2010)

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)

Rigorous Methods for Software Co... (2010)

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)

Formal Methods for Industrial Ap... (1996)

Jean-raymond Abrial