Cărți de Jean-Raymond Abrial

Modeling in Event-B: System and Software Engineering

Autor Jean-Raymond Abrial

12 mai 2010

Preț: 911^.38 lei 1139^.23 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5115

Editat de Jean-Raymond Abrial et al.

20 ian 2010

Preț: 331^.25 lei 414^.07 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1165

Editat de Jean-Raymond Abrial et al.

30 oct 1996

Preț: 657^.02 lei 821^.27 lei

6-8 săpt.

-20%