Udgivelser med Jean-Raymond Abrial

Alle3
Hardcover bog1
Paperback Bog2

På lager hos iMusic Vis udgåede udgivelser

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

Formal Methods for Industrial Ap... (1996)

Jean-raymond Abrial