Verification model checking abstract (358 Ergebnisse)

Zustand: Gebraucht - Gut

EUR 20,20

EUR 5,23 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Hardcover. Zustand: 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)

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Solr Books, Lincolnwood, IL, USASolr Books

Verkäufer/-in mit 4 Sternen

3540003487 / 9783540003489

Zustand: Neu

EUR 31,91

EUR 6,96 Versand

Versand innerhalb von USA

Anzahl: 3 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2002

Softcover

Anbieter: Solr Books, Lincolnwood, IL, USASolr Books

Verkäufer/-in mit 4 Sternen

3030112446 / 9783030112448

Zustand: Neu

EUR 34,74

EUR 6,96 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: new.

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta

Verkäufer/-in mit 5 Sternen

3319737201 / 9783319737201

Zustand: Gebraucht - Ausreichend

EUR 45,37

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes KönigreichWeBuyBooks

Verkäufer/-in mit 5 Sternen

354024297X / 9783540242970

Zustand: Gebraucht - Gut

EUR 35,47

EUR 10,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer Verlag, New York, 2005

Hardcover

Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 41,75

EUR 5,23 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Hardcover. Zustand: 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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

3540697357 / 9783540697350

Zustand: Neu

EUR 48,78

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,78

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

3540697357 / 9783540697350

Zustand: Neu

EUR 48,78

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,78

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Solr Books, Lincolnwood, IL, USASolr Books

Verkäufer/-in mit 4 Sternen

354024297X / 9783540242970

Zustand: Gebraucht - Befriedigend

EUR 41,98

EUR 6,96 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2005

Softcover

Anbieter: Solr Books, Lincolnwood, IL, USASolr Books

Verkäufer/-in mit 4 Sternen

Zustand: Gebraucht - Gut

EUR 41,98

EUR 6,96 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Befriedigend

EUR 38,83

EUR 12,40 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2012

3642279392 / 9783642279393

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 53,27

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 2 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2014

3642540120 / 9783642540127

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 53,27

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Verification, Model Checking, and Abstract Interpretation

Sprache: Englisch

Verlag: Springer, 2004

3540208038 / 9783540208037

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Gut

EUR 49,62

EUR 6,10 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: 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

Sprache: Englisch

Verlag: Springer, 2015

3662491214 / 9783662491218

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 54,49

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2013

3642358721 / 9783642358722

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 54,49

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2015

3662460807 / 9783662460801

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 54,49

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2018

3319737201 / 9783319737201

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 54,49

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2005

3540311394 / 9783540311393

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 56,56

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2004

3540208038 / 9783540208037

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 56,56

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 56,56

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 2/26/2008, 2008

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

3540208038 / 9783540208037

Zustand: Neu

EUR 58,94

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

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

Sprache: Englisch

Verlag: Springer 1/7/2004, 2004

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

3540311394 / 9783540311393

Zustand: Neu

EUR 58,94

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

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

Sprache: Englisch

Verlag: Springer 12/19/2005, 2005

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 58,94

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2017

3319522337 / 9783319522333

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

3540311394 / 9783540311393

Zustand: Neu

EUR 58,70

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2005

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 61,08

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

3319522337 / 9783319522333

Zustand: Neu

EUR 61,08

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen