Jean-Raymond Abrial - Böcker

Visar alla böcker från författaren Jean-Raymond Abrial.
4 produkter
J. R. Abrial, Jean-Raymond Abrial - The B-Book, Häftad

The B-Book

Av J. R. Abrial, Jean-Raymond Abrial

Häftad, Engelska, 2005

1 639 kr

Skickas inom 7-10 vardagar
Jean-Raymond Abrial - Modeling in Event-B, Inbunden

Modeling in Event-B

Av Jean-Raymond Abrial

Inbunden, Engelska, 2010

2 219 kr

Skickas inom 7-10 vardagar
Jean-Raymond Abrial, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications, Häftad
Del 1165 - Lecture Notes in Computer Science

Formal Methods for Industrial Applications

Av Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Häftad, Engelska, 1996

1 419 kr

Skickas inom 7-10 vardagar
Jean-Raymond Abrial, Uwe Glässer, Uwe Glasser - Rigorous Methods for Software Construction and Analysis, Häftad

Rigorous Methods for Software Construction and Analysis

Av Jean-Raymond Abrial, Uwe Glässer, Uwe Glasser

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar