Jean-Raymond Abrial – författare

Visar alla böcker från författaren .

3 produkter

Kategorier

3 produkter

Jean-Raymond Abrial - Modeling in Event-B, Inbunden

Modeling in Event-B

System and Software Engineering

AvJean-Raymond Abrial

Inbunden, Engelska, 2010

2 399 kr

Skickas inom 7-10 vardagar

Jean-Raymond Abrial, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications, Häftad

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

Jean-Raymond Abrial, Uwe Glässer - Rigorous Methods for Software Construction and Analysis, Häftad

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