Verification model checking abstract (357 risultati)

Condizione: Usato - Molto buono

EUR 20,20

EUR 5,23 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 4 stelle

3540003487 / 9783540003489

Condizione: Nuovo

EUR 31,91

EUR 6,96 spedizione

Spedito in U.S.A.

Quantità: 3 disponibili

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

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 4 stelle

3030112446 / 9783030112448

Condizione: Nuovo

EUR 34,54

EUR 6,96 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: new.

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

Lingua: Inglese

Editore: Springer, 2019

Brossura

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

Venditore con 5 stelle

3319737201 / 9783319737201

Condizione: Usato - Discreto

EUR 45,37

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: WeBuyBooks, Rossendale, LANCS, Regno UnitoWeBuyBooks

Venditore con 5 stelle

354024297X / 9783540242970

Condizione: Usato - Molto buono

EUR 35,47

EUR 10,54 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer Verlag, New York, 2005

Rilegato

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

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 41,75

EUR 5,23 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 5 stelle

3540697357 / 9783540697350

Condizione: Nuovo

EUR 48,78

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,78

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 5 stelle

3540697357 / 9783540697350

Condizione: Nuovo

EUR 48,78

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,78

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 4 stelle

354024297X / 9783540242970

Condizione: Usato - Buono

EUR 41,98

EUR 6,96 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2005

Brossura

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

Venditore con 4 stelle

Condizione: Usato - Molto buono

EUR 41,98

EUR 6,96 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited

Venditore con 5 stelle

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

Condizione: Usato - Buono

EUR 38,83

EUR 12,40 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2004

3540208038 / 9783540208037

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Molto buono

EUR 49,62

EUR 6,10 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2012

3642279392 / 9783642279393

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 53,67

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: 2 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2014

3642540120 / 9783642540127

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 53,67

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2015

3662491214 / 9783662491218

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 54,90

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2013

3642358721 / 9783642358722

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 54,90

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2015

3662460807 / 9783662460801

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 54,90

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2018

3319737201 / 9783319737201

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 54,90

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2005

3540311394 / 9783540311393

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 56,56

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2004

3540208038 / 9783540208037

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 56,56

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,56

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer 2/26/2008, 2008

Brossura

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

Venditore con 5 stelle

3540208038 / 9783540208037

Condizione: Nuovo

EUR 58,94

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

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

Lingua: Inglese

Editore: Springer 1/7/2004, 2004

Brossura

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

Venditore con 5 stelle

3540311394 / 9783540311393

Condizione: Nuovo

EUR 58,94

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

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

Lingua: Inglese

Editore: Springer 12/19/2005, 2005

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 58,94

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

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

Lingua: Inglese

Editore: Springer, 2017

3319522337 / 9783319522333

Brossura

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

Venditore con 5 stelle

3540311394 / 9783540311393

Condizione: Nuovo

EUR 58,70

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2005

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 61,08

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2008

Brossura

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

Venditore con 4 stelle

3319522337 / 9783319522333

Condizione: Nuovo

EUR 61,08

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 4 stelle