Modeling in Event-B: System and Software Engineering
Autor Jean-Raymond Abrial
12 mai 2010
Hardback
Preț: 885.21 lei 1106.52 lei
6-8 săpt.
-20%
Cărți de Jean-Raymond Abrial
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Editat de Jean-Raymond Abrial et al.
20 ian 2010
Paperback
Preț: 321.83 lei 402.28 lei
6-8 săpt.
-20%
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Editat de Jean-Raymond Abrial et al.
30 oct 1996
Paperback
Preț: 638.20 lei 797.75 lei
6-8 săpt.
-20%