Cărți de Rajeev Joshi

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Lecture Notes in Computer Science, nr. 7152

Editat de Rajeev Joshi et al.

10 ian 2012

Preț: 329^.44 lei 411^.80 lei

3-5 săpt.

-20%

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9058

Editat de Klaus Havelund et al.

9 apr 2015

Preț: 334^.30 lei 417^.87 lei

6-8 săpt.

-20%

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6617

Editat de Mihaela Bobaru et al.

6 apr 2011

Preț: 339^.92 lei 424^.89 lei

6-8 săpt.

-20%