Verification Model Checking Abstract (358 results)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Mukhopadhyay, S.;Vmcai, ;Zuck, Lenore D.; Attie, P. D; Cortesi, A.
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books
Contact seller5-star sellerCondition: Used - Very good
£ 17.17
£ 4.45 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm].
- Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contact seller5-star sellerCondition: New
£ 27.12
£ 5.92 shippingShips within U.S.A.Quantity: 3 available
Condition: new.
- Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contact seller5-star sellerCondition: New
£ 30.60
£ 5.92 shippingShips within U.S.A.Quantity: 1 available
Condition: new.
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Fair
£ 38.57
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks
Contact seller5-star sellerCondition: Used - Very good
£ 29.54
£ 9.04 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books
Contact seller5-star sellerCondition: Used - Very good
£ 35.49
£ 4.45 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. Hardcover 2005 libray bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3385.[xi, 481 p. : ill. ; 24 cm].
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 41.68
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 41.68
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 41.68
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 41.68
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contact seller5-star sellerCondition: Used - Good
£ 35.69
£ 5.92 shippingShips within U.S.A.Quantity: 1 available
Condition: good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition.
- Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contact seller5-star sellerCondition: Used - Very good
£ 35.69
£ 5.92 shippingShips within U.S.A.Quantity: 1 available
Condition: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
£ 32.45
£ 10.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 42.18
£ 5.18 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.86
£ 1.96 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.89
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.84
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.99
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Giacobazzi, Roberto (EDT); Berdine, Josh (EDT); Mastroeni, Isabella (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.99
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
D'souza, Deepak (EDT); Lal, Akash (EDT); Larsen, Kim Gulstrand (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 47.05
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.08
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.08
£ 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: New
£ 48.08
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.10
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding. Book.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.10
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings. Book.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.10
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi. Book.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 51.90
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 51.90
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 51.90
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 51.90
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
