Abstract State Machines, Alloy, B and Z
Editat de Marc Frappier et al.
2 mar 2010
Paperback
Preț: 328.93 lei 411.16 lei
6-8 săpt.
-20%
Cărți de Uwe Glässer
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
6-8 săpt.
-20%