Jean-Raymond Abrial - Böcker

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

4 produkter

Kategorier

4 produkter

The B-Book

Assigning Programs to Meanings

Av J. R. Abrial, Jean-Raymond Abrial

Häftad, Engelska, 2005

1 579 kr

Skickas inom 10-15 vardagar

Modeling in Event-B

System and Software Engineering

Av Jean-Raymond Abrial

Inbunden, Engelska, 2010

2 129 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

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

Häftad, Engelska, 1996

1 399 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

Av Jean-Raymond Abrial, Uwe Glässer m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar