| |

avaa valikko

Jean-Raymond Abrial | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial
Cambridge University Press
2010
Kovakantinen kirja

Modeling in Event-B: System and Software Engineering

138,40 €

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans
Springer
1996
Pehmeäkantinen kirja

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

101,40 €

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th

Abrial, Jean-Raymond; Glässer, Uwe
Springer
2010
Pehmeäkantinen kirja

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th

51,40 €