Description: Verification, Model Checking, and Abstract Interpretation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings Author(s): Constantin Enea, Ruzica Piskac Format: Paperback Publisher: Springer Nature Switzerland AG, Switzerland Imprint: Springer Nature Switzerland AG ISBN-13: 9783030112448, 978-3030112448 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 [url] 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.
Price: 39.41 GBP
Location: Aldershot
End Time: 2024-11-12T09:07:13.000Z
Shipping Cost: 29.1 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Verification, Model Checking, and Abstract Interpretation
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: Ruzica Piskac, Constantin Enea
Publication Name: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
Format: Paperback
Language: English
Publisher: Springer Nature Switzerland A&G
Subject: Computer Science
Publication Year: 2019
Type: Textbook
Item Weight: 937 g
Number of Pages: 602 Pages
