Articoli correlati a Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings: 11388 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Verification, Model Checking, and Abstract Interpretation:...
Immagini fornite dal venditore
Verification, Model Checking, and Abstract Interpretation
Editore:
Springer International Publishing, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented togeth. Codice articolo 258911366
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Verification, Model Checking, and Abstract Interpretation
Editore:
Springer International Publishing Jan 2019, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. 620 pp. Englisch. Codice articolo 9783030112448
Quantità: 2 disponibili
Immagini fornite dal venditore
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13¿15, 2019, Proceedings
ISBN 10: 3030112446
ISBN 13: 9783030112448
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. Codice articolo 9783030112448
Quantità: 1 disponibili
Immagini fornite dal venditore
Verification, Model Checking, and Abstract Interpretation
ISBN 10: 3030112446
ISBN 13: 9783030112448
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch. Codice articolo 9783030112448
Quantità: 2 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030112448_new
Quantità: Più di 20 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783030112448
Quantità: 10 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26376628114
Quantità: 4 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 369450061
Quantità: 4 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18376628120
Quantità: 4 disponibili
Foto dell'editore
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
Editore:
Springer-Verlag New York Inc, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 602 pages. 9.00x6.00x1.25 inches. In Stock. Codice articolo x-3030112446
Quantità: 2 disponibili