Code: 43417747
Verification, Model Checking, and Abstract Interpretation
by Cezara Dragoi, Michael Emmi, Jingbo Wang
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in ... more
- Language:
English - Binding: Paperback
- Number of pages: 400
Publisher: Springer Nature B.V., 2023
- More about this
56.86 €
RRP: 56.87 €
You save 0.01 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
Moonwalk
13.93 € -18 % -
The Score
13.63 € -11 % -
The Deal
12.21 € -22 % -
The Mistake
13.42 € -1 % -
Jujutsu Kaisen, Vol. 30
9.89 € -20 % -
Berserk Deluxe Volume 1
35.65 € -25 % -
The Goal
14.54 € -
Berserk Deluxe Volume 2
33.12 € -30 % -
Dancing The Dream
19.89 € -31 % -
Invincible Compendium Volume 2
45.75 € -24 % -
Berserk Deluxe Volume 3
55.14 € -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.06 € -13 % -
Murdoku
14.03 € -28 % -
Legacy
11.91 € -22 % -
White Nights
4.54 € -
Chainsaw Man, Vol. 21
7.67 € -30 % -
Invincible Compendium Volume 3
46.35 € -23 % -
Witch Hat Atelier Manga Box Set 1
55.75 € -29 % -
Jujutsu Kaisen, Vol. 29
9.89 € -20 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.07 € -25 % -
Witch Hat Atelier: Grimoire Edition 1
35.24 € -29 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Verification, Model Checking, and Abstract Interpretation
You get 138 loyalty points
Book synopsis
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.
The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Book details
56.86 €
- Full title: Verification, Model Checking, and Abstract Interpretation
- Subtitle: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
- Author: Cezara Dragoi, Michael Emmi, Jingbo Wang
- Language: English
- Binding: Paperback
- Number of pages: 400
- EAN: 9783031249518
- ID: 43417747
- Publisher: Springer Nature B.V.
- Weight: 560 g
- Dimensions: 234 × 156 mm
- Date of publishing: 17. January 2023
Shopping guide
Books by language
Collection points Bratislava a 12873 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25750 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)