ONLY $9.90 DELIVERY INFO

Close Notification

Your cart does not contain any items

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings by Cezara Dragoi at Abbey's Bookshop,
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023,...
— —
Cezara Dragoi Michael Emmi

Verification, Model Checking, and Abstract Interpretation

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings...

Cezara Dragoi,  Michael Emmi,  Jingbo Wang

$162.95   $130.01

Paperback

Not in-store but you can order this
How long will it take?
English
Springer International Publishing AG
17 January 2023
Software testing & verification
Series: Lecture Notes in Computer Science
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.
Edited by:   , ,
Imprint:   Springer International Publishing AG
Country of Publication:   Switzerland
Edition:   1st ed. 2023
Volume:   13881
Dimensions:   Height: 235mm,  Width: 155mm, 
Weight:   611g
ISBN:   9783031249495
ISBN 10:   3031249496
Series:   Lecture Notes in Computer Science
Pages:   389
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Recent Advancements in Software...

Adarsh Anand

Paperback

$63.95  $53.97

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Modern Game Testing

Learn how to test games like a pro,...

Nikolina Finska

Paperback

$68.95  $58.53

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Boozang from the Trenches

Learn Test Automation with Boozang...

Gianni Pucciani

Paperback

$109.95  $87.70

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Multi-Criteria Decision Models in...

Methods and Applications

Ashish Mishra (Gyan Ganga Institute...

Paperback

$125.95  $100.56

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

The Language of Assurance and Advisory...

Jacob Michael

Paperback

$56.95  $48.54

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Software Engineering and Formal...

18th International Conference, SEFM...

Frank de Boer

Paperback

$133.95  $107.34

Not in-store but you can order this

ADD +