Henzinger Thomas a Editor (4 results)
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Kucera, Antonin (Editor) / Henzinger, Thomas A. (Editor) / Neetril, Jaroslav (Editor) / Vojnar, Tomas (Editor) / Antos, David (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 90.34
US$ 13.27 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. int rev edition. 220 pages. 9.00x6.25x0.50 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 91.45
US$ 13.27 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 267 pages. 9.10x6.10x0.60 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 183.38
US$ 16.58 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 614 pages. 9.10x6.00x1.40 inches. In Stock.
Handbook of Model Checking
Clarke, Edmund M. (Editor)/ Henzinger, Thomas A. (Editor)/ Veith, Helmut (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 225.08
US$ 26.53 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 1000 pages. 9.25x6.50x2.75 inches. In Stock.
