Items related to Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... (Lecture Notes in Computer Science, 11388) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2019
- ISBN 10 3030112446
- ISBN 13 9783030112448
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages619
- EditorEnea Constantin, Piskac Ruzica
Search results for Verification, Model Checking, and Abstract Interpretation:...
Stock Image
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030112448_new
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783030112448
Quantity: 10 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing Jan 2019, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783030112448
Quantity: 2 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13¿15, 2019, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783030112448
Quantity: 1 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 258911366
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369450061
Quantity: 4 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing, Springer Nature Switzerland Jan 2019, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783030112448
Quantity: 2 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
Published by
Springer-Verlag New York Inc, 2019
ISBN 10: 3030112446
ISBN 13: 9783030112448
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 602 pages. 9.00x6.00x1.25 inches. In Stock. Seller Inventory # x-3030112446
Quantity: 2 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26376628114
Quantity: 4 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376628120
Quantity: 4 available