Runtime Verification
Bernd Finkbeiner, Leonardo Mariani
₹5,095
Verification, Model Checking, and Abstract Interpretation
23rd International Conference
by Bernd Finkbeiner, Thomas Wies
Springer-Nature New York Inc · 2022
₹6,997
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference by Bernd Finkbeiner & Thomas Wies is a 520-page book published by Springer-Nature New York Inc in 2022.
Book details
- ISBN-13
- 9783030945824
- ISBN-10
- 3030945820
- Authors
- Bernd Finkbeiner, Thomas Wies
- Publisher
- Springer-Nature New York Inc
- Published
- 2022
- Edition
- 1st ed. 2022
- Pages
- 520
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Bernd Finkbeiner and related titles
Automated Technology for Verification and Analysis
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
₹4,262
Study and Research Guide in Computer Science
W. Tölle
₹4,151
Delta Lake – Up and Running
Bennie Haelen, Dan Davis
₹4,104
Advances in Quantum Chemistry - Vol. 62
Erkki Brandas
₹2,680
CATIA V5 FEA Release 21
Jaecheol Koh
₹2,652
A Practical Approach to Compiler Construction
Des Watson
₹4,153
Who Governs the Internet?
Robert J. Domanski
₹5,525
Art and Science of Smalltalk
Lewis
₹2,298
AQA GCSE Computer Science My Revision Notes 2e
Steve Cushing
₹3,081
Computational Modelling of Robot Personhood and Relationality
William F. Clocksin
₹4,300
Xamarin Essentials
Mark Reynolds
₹3,824