Veith Helmut Edt (10 results)

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.99
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 74.35
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 149.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 135.67
US$ 20.39 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 162.64
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 159.51
US$ 20.39 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 181.03
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 183.85
US$ 20.39 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 205.85
US$ 20.39 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 226.00
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.