Cărți de Jean-Raymond Abrial

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ț: 631^.63 lei 789^.54 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ț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Modeling in Event-B: System and Software Engineering

Autor Jean-Raymond Abrial

12 mai 2010

Preț: 927^.67 lei 1159^.58 lei

6-8 săpt.

-20%