Jean-Raymond Abrial – författare

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

3 produkter

Kategorier

3 produkter

Modeling in Event-B
System and Software Engineering
AvJean-Raymond Abrial
Inbunden, Engelska, 2010
2 419 kr
Skickas inom 5-8 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 449 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
749 kr
Skickas inom 10-15 vardagar