Modeling in Event-B: System and Software Engineering
Autor Jean-Raymond Abrial
12 mai 2010
Hardback
Preț: 927.67 lei 1159.58 lei
43-57 zile
-20%
Cărți de Jean-Raymond Abrial
Formal Methods for Industrial Applications
Editat de Jean-Raymond Abrial et al.
30 oct 1996
Paperback
Preț: 635.35 lei 794.19 lei
43-57 zile
-20%
Rigorous Methods for Software Construction and Analysis
Editat de Jean-Raymond Abrial et al.
20 ian 2010
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%