|
|
books
| book details |
Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Edited by Yu-Fang Chen, Edited by Thomas Jensen, Edited by Ondřej Lengál
|
|
| on special |
normal price: R 3 075.95
Price: R 2 922.95
|
| book description |
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026. The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.
| product details |

Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 13 Jan 2026
Language |
Format | Paperback / softback
Pages | 410
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0321-5699-0
Readership Age |
BISAC | computers / machine theory
| other options |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|