Holzmann gerard editor (3 risultati)
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 71,12
EUR 14,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Havelund, Klaus (Editor)/ Holzmann, Gerard (Editor)/ Joshi, Rajeev (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 83,05
EUR 14,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
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)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,89
EUR 14,64 spedizioneSpedito 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.
