Verification Model Checking Abstract (357 results)

Condition: Used - Very good

US$ 22.49

US$ 6.00 shipping

Ships 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].

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)

Language: English

Published by Springer, 2008

Softcover

Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books

4-star seller

3030112446 / 9783030112448

Condition: New

US$ 35.52

US$ 7.98 shipping

Ships within U.S.A.

Quantity: 3 available

Condition: new.

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedi

Language: English

Published by Springer, 2019

Softcover

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta

5-star seller

3540003487 / 9783540003489

Condition: Used - Fair

US$ 50.51

Free Shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)

Language: English

Published by Springer, 2002

Softcover

Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books

4-star seller

3319737201 / 9783319737201

Condition: New

US$ 43.22

US$ 7.98 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: new.

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)

Language: English

Published by Springer, 2018

Softcover

Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks

5-star seller

354024297X / 9783540242970

Condition: Used - Very good

US$ 40.53

US$ 12.04 shipping

Ships 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.

Verification, Model Checking, And Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia.

Language: English

Published by Springer Verlag, New York, 2005

Hardcover

Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books

5-star seller

Condition: Used - Very good

US$ 46.49

US$ 6.00 shipping

Ships 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].

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)

Language: English

Published by Springer, 2008

Softcover

Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books

4-star seller

Condition: Used - Good

US$ 45.58

US$ 7.98 shipping

Ships 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.

Verification, Model Checking, And Abstract Interpretation

Language: English

Published by Springer, 2008

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

3540697357 / 9783540697350

Condition: New

US$ 54.31

Free Shipping

Ships 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.

Verification, Model Checking, And Abstract Interpretation

Language: English

Published by Springer, 2007

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

US$ 54.31

Free Shipping

Ships 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.

Verification, Model Checking, And Abstract Interpretation

0

Language: English

Published by Springer, 2008

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

3540697357 / 9783540697350

Condition: New

US$ 54.31

Free Shipping

Ships 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.

Verification, Model Checking, And Abstract Interpretation

0

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

354024297X / 9783540242970

Condition: New

US$ 54.31

Free Shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture Notes in Computer Science, 3385)

Language: English

Published by Springer, 2005

Softcover

Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books

4-star seller

Condition: Used - Very good

US$ 46.74

US$ 7.98 shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)

Language: English

Published by Springer, 2008

Softcover

Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited

5-star seller

Kuncak, Viktor (EDT); Rybalchenko, Andrey (EDT)

Condition: Used - Good

US$ 44.37

US$ 14.17 shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, Vmcai 2012, Philadelphia, Pa, USA, January 22-24, 2012, Proceedings

Language: English

Published by Springer, 2012

3642279392 / 9783642279393

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

McMillan, Kenneth (EDT); Rival, Xavier (EDT)

Condition: New

US$ 59.25

US$ 2.64 shipping

Ships within U.S.A.

Quantity: 2 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings

Language: English

Published by Springer, 2014

3642540120 / 9783642540127

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Steffen, Bernhard [Editor]; Levi, Giorgio [Editor];

Condition: New

US$ 59.26

US$ 2.64 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation

Language: English

Published by Springer, 2004

3540208038 / 9783540208037

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Jobstmann, Barbara (EDT); Leino, K. Rustan M. (EDT)

Condition: Used - Very good

US$ 55.24

US$ 6.99 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, Vmcai 2016, St. Petersburg, Fl, USA, January 17-19, 2016 - Proceedings

Language: English

Published by Springer, 2015

3662491214 / 9783662491218

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Giacobazzi, Roberto (EDT); Berdine, Josh (EDT); Mastroeni, Isabella (EDT)

Condition: New

US$ 60.62

US$ 2.64 shipping

Ships 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

Language: English

Published by Springer, 2013

3642358721 / 9783642358722

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

D'souza, Deepak (EDT); Lal, Akash (EDT); Larsen, Kim Gulstrand (EDT)

Condition: New

US$ 60.62

US$ 2.64 shipping

Ships 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

Language: English

Published by Springer, 2015

3662460807 / 9783662460801

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Dillig, Isil (EDT); Palsberg, Jens (EDT)

Condition: New

US$ 60.62

US$ 2.64 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings

Language: English

Published by Springer, 2018

3319737201 / 9783319737201

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Emerson, E. Allen (EDT); Namjoshi, Kedar S. (EDT)

Condition: New

US$ 60.62

US$ 2.64 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Language: English

Published by Springer, 2005

3540311394 / 9783540311393

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Steffen, Bernhard (EDT); Levi, Giorgio (EDT)

Condition: New

US$ 62.97

US$ 2.64 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings

Language: English

Published by Springer, 2004

3540208038 / 9783540208037

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)

Condition: New

US$ 62.97

US$ 2.64 shipping

Ships 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

Language: English

Published by Springer, 2008

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

US$ 62.97

US$ 2.64 shipping

Ships 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, Proceeding (Paperback or Softback)

Logozzo, Francesco

Language: English

Published by Springer 2/26/2008, 2008

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

3540208038 / 9783540208037

Condition: New

US$ 65.62

Free Shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings (Paperback or Softback)

Steffen, Bernhard

Language: English

Published by Springer 1/7/2004, 2004

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

3540311394 / 9783540311393

Condition: New

US$ 65.62

Free Shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi (Paperback or Softback)

Emerson, E. Allen

Language: English

Published by Springer 12/19/2005, 2005

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

Bouajjani, Ahmed (EDT); Monniaux, David (EDT)

Condition: New

US$ 65.62

Free Shipping

Ships 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.

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, Vmcai 2017, Paris, France, January 15?17, 2017, Proceedings

Language: English

Published by Springer, 2017

3319522337 / 9783319522333

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3540311394 / 9783540311393

Condition: New

US$ 65.35

US$ 2.64 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science, 3855)

Language: English

Published by Springer, 2005

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Condition: New

US$ 68.00

Free Shipping

Ships 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 (Lecture Notes in Computer Science, 4905)

Language: English

Published by Springer, 2008

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

3319522337 / 9783319522333

Condition: New

US$ 68.00

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2017

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller