NASA Formal Methods
Editat de Klaus Havelund et al.
9 apr 2015
Paperback
Preț: 329.95 lei 412.43 lei
6-8 săpt.
-20%
Cărți de Rajeev Joshi
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Editat de Rajeev Joshi et al.
10 ian 2012
Paperback
Preț: 323.41 lei 404.26 lei
3-5 săpt.
-20%
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ț: 333.68 lei 417.09 lei
6-8 săpt.
-20%