Hoppa till sidans huvudinnehåll

Jean-Raymond Abrial – författare

Visar alla böcker från författaren Jean-Raymond Abrial.
3 produkter

Modeling in Event-B

System and Software Engineering

AvJean-Raymond Abrial

Inbunden, Engelska, 2010

2 319 kr

Skickas inom 7-10 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

AvJean-Raymond Abrial,Egon Börgerm. fl.

Häftad, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar

Rigorous Methods for Software Construction and Analysis

Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

AvJean-Raymond Abrial,Uwe Glässer

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar