Importo totale (1 articolo articoli):
Destinazione ordine:
verification model checking abstract (356 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (356)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (175)
- Non Print on Demand (283)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 4,41
Convertire valutaEUR 6,00 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Interior clean and unmarked. Tight binding.
-
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 19,88
Convertire valutaEUR 4,72 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 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: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Editore: Springer Verlag, New York City, 2002
ISBN 10: 3540436316 ISBN 13: 9783540436317
Lingua: Inglese
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 19,88
Convertire valutaEUR 4,72 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2294.[viii, 330 p. : ill. ; 24 cm].
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, . (Lecture Notes in Computer Science, 8318)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 23,37
Convertire valutaEUR 8,35 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 35,24
Convertire valutaEUR 9,39 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 41,09
Convertire valutaEUR 4,72 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 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: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
Editore: Springer Verlag, New York City, 2004
ISBN 10: 3540208038 ISBN 13: 9783540208037
Lingua: Inglese
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 43,09
Convertire valutaEUR 4,72 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2937.[xi, 324 p. : ill. ; 24 cm].
-
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,25
Convertire valutaEUR 6,00 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Verification, Model Checking, and Abstract Interpretation
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,36
Convertire valutaEUR 6,00 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
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)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 25,45
Convertire valutaEUR 24,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,24
Convertire valutaEUR 6,00 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: 9TH INTERNATIONAL CONFERENCE, VMCAI 2008, SAN FRANCISCO, USA, JANUARY 7-9, 2008, . COMPUTER SCIENCE AND GENERAL ISSUES)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,26
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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 : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,82
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,64
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,64
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, Vmcai 2011, Austin, Tx, USA, January 23-25, 2011 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, Vmcai 2012, Philadelphia, Pa, USA, January 22-24, 2012, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, And Abstract Interpretation : 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, Vmcai 2016, St. Petersburg, Fl, USA, January 17-19, 2016 - Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, Vmcai 2017, Paris, France, January 15?17, 2017, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,23
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,04
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,04
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,04
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,04
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,04
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
