Verification, Model Checking, and Abstract Interpretation
. Ed(s): Kuncak, Viktor; Rybalchenko, Andrey
ISBN 10: 3642279392 ISBN 13: 9783642279393
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
Nuovi
Brossura
Da
Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 9 ottobre 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703. . 2012. Paperback. . . . . Books ship from the US and Ireland. Codice articolo V9783642279393
Riassunto:
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Dalla quarta di copertina: This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Verification, Model Checking, and Abstract ...
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Data di pubblicazione: 2012
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Editore:
Springer-Verlag GmbH, 2012
ISBN 10: 3642279392
ISBN 13: 9783642279393
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 460 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 11753302/12
Compra usato
EUR 38,86
EUR 105,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Verification, Model Checking, and Abstract Interpretation
Editore:
Springer Berlin Heidelberg, 2012
ISBN 10: 3642279392
ISBN 13: 9783642279393
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 201. Codice articolo 5055400
Compra nuovo
EUR 48,74
EUR 48,99 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLING22Oct2817100464448
Compra nuovo
EUR 52,60
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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
Condizione: New. Codice articolo 17792349-n
Compra nuovo
EUR 53,77
EUR 2,25 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
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
Condizione: As New. Unread book in perfect condition. Codice articolo 17792349
Compra usato
EUR 62,49
EUR 2,25 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642279392
ISBN 13: 9783642279393
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783642279393
Compra nuovo
EUR 64,92
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, USA, January 22-24, 2012, Proceedings
Editore:
Springer-Verlag New York Inc, 2012
ISBN 10: 3642279392
ISBN 13: 9783642279393
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2012 edition. 470 pages. 9.10x6.10x1.10 inches. In Stock. Codice articolo x-3642279392
Compra nuovo
EUR 81,05
EUR 14,33 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili