Jean-Raymond Abrial – författare

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

3 produkter

1. 

   Modeling in Event-B

   System and Software Engineering

   Av Jean-Raymond Abrial

   Inbunden, 2010

   2919 kr

   Lägg i varukorg

2. 

   Formal Methods for Industrial Applications

   Specifying and Programming the Steam Boiler Control

   Av Jean-Raymond Abrial, Egon Börger m. fl.

   Häftad, 1996

   1429 kr

   Lägg i varukorg

3. 

   Rigorous Methods for Software Construction and Analysis

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

   Av Jean-Raymond Abrial, Uwe Glässer

   Häftad, 2010

   739 kr

   Lägg i varukorg