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ț: 318.67 lei 398.33 lei
43-57 zile
-20%
Cărți de Jean-Raymond Abrial
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Editat de Jean-Raymond Abrial et al.
30 oct 1996
Paperback
Preț: 631.63 lei 789.54 lei
43-57 zile
-20%