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$ 89.63
US$ 13.51 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$ 90.74
US$ 13.51 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$ 181.97
US$ 16.89 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$ 231.19
US$ 27.03 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 1000 pages. 9.25x6.50x2.75 inches. In Stock.
