Verification Model Checking Abstract (337 results)

Condition: Used - Very good

£ 17.54

£ 4.16 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

E. Allen Emerson

Language: English

Published by Springer 2006

Softcover

Seller: Bookbot, Prague, Czech RepublicBookbot

5-star seller

3030112446 / 9783030112448

Condition: Used - Fine

£ 3.39

£ 18.22 shipping

Ships from Czech Republic to U.S.A.

Quantity: 1 available

Softcover. Condition: Fine. Leichte Rillen / Abschürfungen / Risse / Knicke; Gebrochener Buchrücken. The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and ab…

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

3319737201 / 9783319737201

Condition: Used - Fair

£ 39.40

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: 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

£ 29.54

£ 9.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

£ 36.25

£ 4.16 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

5-star seller

3540781625 / 9783540781622

Condition: Used - Good

£ 34.83

£ 6.04 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: 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

5-star seller

3540003487 / 9783540003489

Condition: New

£ 35.43

£ 6.04 shipping

Ships within U.S.A.

Quantity: 3 available

Condition: new.

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

5-star seller

354024297X / 9783540242970

Condition: New

£ 35.65

£ 6.04 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: new.

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

5-star seller

Condition: Used - Very good

£ 36.45

£ 6.04 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.

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

£ 43.58

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

£ 43.58

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

£ 43.58

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

Cortesi, Agostino, Supratik Mukhopadhyay and Paul D. Attie:

Condition: New

£ 43.58

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: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science)

Language: English

Published by Springer 2003

3540003487 / 9783540003489

Softcover

Seller: NEPO UG, Rüsselsheim am Main, , GermanyNEPO UG

5-star seller

Condition: Used - Fine

£ 22.75

£ 20.83 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Condition: Sehr gut. Auflage: 2003. 340 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 23,1 x 15,5 x 2,0 cm, Taschenbuch.

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

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

Condition: Used - Good

£ 33.19

£ 10.64 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

Language: English

Published by Springer 2004

3540208038 / 9783540208037

Softcover

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

5-star seller

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

Condition: Used - Very good

£ 43.08

£ 5.29 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 : 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

£ 46.57

£ 2.00 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

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

Condition: New

£ 46.62

£ 2.00 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

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

Condition: New

£ 47.64

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

£ 47.69

£ 2.00 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

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

Condition: New

£ 47.69

£ 2.00 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

£ 47.69

£ 2.00 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

Softcover

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

5-star seller

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

Condition: New

£ 48.88

£ 2.00 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

£ 48.88

£ 2.00 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

3540781625 / 9783540781622

Softcover

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

5-star seller

3540781625 / 9783540781622

Condition: New

£ 48.88

£ 2.00 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

£ 50.94

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

Condition: New

£ 50.94

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

£ 50.94

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

Condition: New

£ 50.97

£ 2.00 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