NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Editat de Klaus Havelund et al.
9 apr 2015
Paperback
Preț: 335.43 lei 419.30 lei
6-8 săpt.
-20%
Cărți de Gerard Holzmann
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Editat de Mihaela Bobaru et al.
6 apr 2011
Paperback
Preț: 341.08 lei 426.35 lei
6-8 săpt.
-20%