Verification model checking abstract (348 résultats)

3030112446 / 9783030112448

Etat: Occasion - Assez bon

EUR 20,25

EUR 5,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedi

Langue : anglais

Edité par Springer, 2019

Couverture souple

Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-UnisThriftBooks-Atlanta

Vendeur avec une évaluation de 5 étoiles

3319737201 / 9783319737201

Etat: Occasion - Moyen

EUR 45,48

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-UniWeBuyBooks

Vendeur avec une évaluation de 5 étoiles

354024297X / 9783540242970

Etat: Occasion - Assez bon

EUR 35,78

EUR 10,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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 41,85

EUR 5,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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: 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 4 étoiles

3540003487 / 9783540003489

Etat: Occasion - Satisfaisant

EUR 41,04

EUR 6,98 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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: 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 4 étoiles

Etat: Neuf

EUR 41,20

EUR 6,98 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : new.

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 48,90

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Etat: Neuf

EUR 48,90

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

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 48,90

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

354024297X / 9783540242970

Etat: Neuf

EUR 48,90

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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: 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 4 étoiles

Etat: Occasion - Assez bon

EUR 42,08

EUR 6,98 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : 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: 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 4 étoiles

Etat: Neuf

EUR 42,08

EUR 6,98 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 3 disponible(s)

Etat : new.

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

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

Etat: Occasion - Satisfaisant

EUR 39,18

EUR 12,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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 : 13th International Conference, Vmcai 2012, Philadelphia, Pa, USA, January 22-24, 2012, Proceedings

Langue : anglais

Edité par Springer, 2012

3642279392 / 9783642279393

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 53,66

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 2 disponible(s)

Etat : New.

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

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

Etat: Neuf

EUR 53,66

EUR 2,31 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

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

Etat: Neuf

EUR 54,89

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

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

Etat: Neuf

EUR 54,89

EUR 2,31 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,89

EUR 2,31 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

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

Etat: Neuf

EUR 54,89

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 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 56,70

EUR 2,31 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 56,70

EUR 2,31 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

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 56,70

EUR 2,31 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 59,08

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

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 59,08

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

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

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

Etat: Neuf

EUR 59,08

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

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 : 18th International Conference, Vmcai 2017, Paris, France, January 15?17, 2017, Proceedings

Langue : anglais

Edité par Springer, 2017

3319522337 / 9783319522333

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540311394 / 9783540311393

Etat: Neuf

EUR 58,84

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 61,23

Frais de port gratuits

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

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

3319522337 / 9783319522333

Etat: Neuf

EUR 61,23

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Langue : anglais

Edité par Springer, 2017

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

303182699X / 9783031826993

Etat: Neuf

EUR 61,23

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2025

Couverture souple

Vendeur : Marlton Books, Bridgeton, NJ, Etats-UnisMarlton Books

Vendeur avec une évaluation de 5 étoiles