Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
₹6,997
Runtime Verification
19th International Conference
by Bernd Finkbeiner, Leonardo Mariani
Springer Nature Switzerland AG · 2019
₹5,095
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
Runtime Verification: 19th International Conference by Bernd Finkbeiner & Leonardo Mariani is a 413-page book published by Springer Nature Switzerland AG in 2019.
Book details
- ISBN-13
- 9783030320782
- ISBN-10
- 3030320782
- Authors
- Bernd Finkbeiner, Leonardo Mariani
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Pages
- 413
- 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
Stochastic Differential Systems
M. Kohlmann
₹4,274
A Friendly Introduction to Mathematical Logic
Christopher C. Leary
₹8,715
Hungarian Psychiatry, Society and Politics in the Long Nineteenth Century
Emese Lafferton
₹2,755
Engineered to Speak
Alexa S. Chilcutt, Adam J. Brooks
₹6,706
Hacking
Isaac Sharpe
₹3,739
Small Summaries for Big Data
Graham Cormode, Ke Yi
₹4,100
Leveling up with SQL
Mark Simon
₹3,814
PEM Fuel Cells with Bio-Ethanol Processor Systems
Marta S. Basualdo, Rachid Outbib, Diego Feroldi
₹11,564
Verilog Hdl
Samir Palnitkar
₹4,440
Fortnite for Kids and Teens
Ultimate Game Guides
₹3,221