Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 311.01 lei 388.76 lei
43-57 zile
-20%