Bobaru mihaela editor (1 risultati)

Autore:

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Bobaru, Mihaela (Editor) / Havelund, Klaus (Editor) / Holzmann, Gerard (Editor) / Joshi, Rajeev (Editor)
Lingua: Inglese
Editore: Springer, 2011
3642203973 / 9783642203978
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 86,19
EUR 14,93 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Scopri altri titoli di Havelund, Klaus
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Havelund, Klaus

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)