Zuck Lenore D Edt (8 results)

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.20
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.65
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
Zuck, Lenore D.; Attie, Paul C. (EDT); Cortesi, Agostino (EDT); Mukhopadhyay, Supratik (EDT); Vmcai 200 (2003 New York, Ny); Attie, Paul C.; Cortesi, Agostino; Mukhopadhyay, Supratik
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.36
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
Zuck, Lenore D.; Attie, Paul C. (EDT); Cortesi, Agostino (EDT); Mukhopadhyay, Supratik (EDT); Vmcai 200 (2003 New York, Ny); Attie, Paul C.; Cortesi, Agostino; Mukhopadhyay, Supratik
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 55.43
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Tools And Algorithms for the Construction And Analysis of Systems : 11th International Conference, TACAS, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Halbwachs, Nicolas (EDT); Zuck, Lenore D. (EDT); Etaps 200 (2005 Edinburgh, Scotland)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 112.24
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

Tools And Algorithms for the Construction And Analysis of Systems : 11th International Conference, TACAS, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Halbwachs, Nicolas (EDT); Zuck, Lenore D. (EDT); Etaps 200 (2005 Edinburgh, Scotland)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 239.46
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.