Holzmann Gerard Editor (3 results)
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)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 94.49
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: 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)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 96.59
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 148.60
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
