Verification model checking abstract (344 résultats)

3540003487 / 9783540003489

Etat: Occasion - Assez bon

EUR 20,65

EUR 5,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Hardcover. Etat : 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: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceeding

Langue : anglais

Edité par Springer, 2002

Couverture souple

Vendeur : Paper Oddities, Wantage, NJ, Etats-UnisPaper Oddities

Vendeur avec une évaluation de 4 étoiles

3540436316 / 9783540436317

Etat: Occasion - Satisfaisant

EUR 22,52

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Good. Solid and unmarked text, mild reading wear, exowner name inscribed. Fast Shipping - Safe and Secure Bubble Mailer.

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science, 2294)

Langue : anglais

Edité par Springer, 2002

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 39,58

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 41,78

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books

Vendeur avec une évaluation de 5 étoiles

3540781625 / 9783540781622

Etat: Occasion - Satisfaisant

EUR 35,02

EUR 7,12 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books

Vendeur avec une évaluation de 5 étoiles

3540003487 / 9783540003489

Etat: Neuf

EUR 36,49

EUR 7,12 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 3 disponibles

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

Langue : anglais

Edité par Springer, 2002

Couverture souple

Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books

Vendeur avec une évaluation de 5 étoiles

3319737201 / 9783319737201

Etat: Neuf

EUR 36,62

EUR 7,12 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-UniWeBuyBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 36,12

EUR 10,43 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

paperback. Etat : 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.

Langue : anglais

Edité par Springer Verlag, New York, 2005

Couverture rigide

Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-UnisDoss-Haus Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 42,70

EUR 5,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Hardcover. Etat : 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: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture Notes in Computer Science, 3385)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 42,93

EUR 7,12 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

0

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

3540697357 / 9783540697350

Etat: Neuf

EUR 52,11

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 52,11

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-UniPhatpocket Limited

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 39,74

EUR 12,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

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

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

3540697357 / 9783540697350

Etat: Neuf

EUR 52,82

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,82

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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 : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings

Langue : anglais

Edité par Springer, 2014

3642540120 / 9783642540127

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 53,74

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Verification, Model Checking, and Abstract Interpretation

Langue : anglais

Edité par Springer, 2004

3540208038 / 9783540208037

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 50,74

EUR 6,23 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings

Langue : anglais

Edité par Springer, 2013

3642358721 / 9783642358722

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 54,91

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2015

3662491214 / 9783662491218

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 54,98

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings

Langue : anglais

Edité par Springer, 2015

3662460807 / 9783662460801

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 54,98

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2018

3319737201 / 9783319737201

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Enea, Constantin (EDT); Piskac, Ruzica (EDT)

Etat: Neuf

EUR 54,98

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2019

3030112446 / 9783030112448

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 54,98

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2005

3540311394 / 9783540311393

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 57,84

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2004

3540208038 / 9783540208037

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 57,84

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Langue : anglais

Edité par Springer, 2008

3540781625 / 9783540781622

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540781625 / 9783540781622

Etat: Neuf

EUR 57,84

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Langue : anglais

Edité par Springer 2/26/2008, 2008

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

3540208038 / 9783540208037

Etat: Neuf

EUR 60,27

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : 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

Langue : anglais

Edité par Springer 1/7/2004, 2004

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

3540311394 / 9783540311393

Etat: Neuf

EUR 60,27

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : 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

Langue : anglais

Edité par Springer 12/19/2005, 2005

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,27

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : 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 : 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia (EDT)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,99

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings (Paperback or Softback)

Cousot, Radhia

Langue : anglais

Edité par Springer 1/13/2005, 2005

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles