|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,586
Discovery Miles 15 860
|
|
|
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Theoretical Computer Science and General Issues, 10747
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Conference on Verification, Model Checking, and
Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA,
in January 2018.The 24 full papers presented together with the
abstracts of 3 invited keynotes and 1 invited tutorial were
carefully reviewed and selected from 43 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
