Reachability Problems
Kim Guldstrand Larsen, Igor Potapov
₹4,200
Formal Methods for Industrial Critical Systems
24th International Conference
by Kim Guldstrand Larsen, Tim Willemse
Springer Nature Switzerland AG · 2019 · Paperback
₹4,268
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,884 for this book (save ₹384).
9% off every book, up to ₹500 off per order.
About this book
The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.
Book details
- ISBN-13
- 9783030270070
- ISBN-10
- 3030270076
- Authors
- Kim Guldstrand Larsen, Tim Willemse
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Binding
- Paperback
- Pages
- 161
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More by Kim Guldstrand Larsen and related titles
Practical Guide to Machine Learning, Nlp and Generative Ai
T. Mariprasath, Kumar Reddy Cheepati, Marco Rivera
₹4,677
Introduction to Bioinformatics and Clinical Scientific Computing
Paul S. Ganney
₹3,913
Deep Learning Techniques for Cloud-Based Industrial IoT
P. Swarnalatha, S. Prabu
₹23,181
Mathematics of Quantum Computation
Ranee K. Brylinski, Goong Chen
₹4,983
Investing for Programmers
Stefan Papp
₹5,281
The Academic Librarian as Blended Professional
Michael Perini
₹4,712
Big Data for Urban Sustainability
Stephen Jia Wang, Patrick Moriarty
₹8,397
Neural-Network Simulation of Strongly Correlated Quantum Systems
Stefanie Czischek
₹7,765
The Navier-stokes Equations
Rodolfo Salvi
₹13,611
Intelligent IoT for the Digital World
Yang Yang, Xu Chen, Yong Xiao, Rui Tan
₹6,731
Body Electric
Manoush Zomorodi, Keith Diaz
₹2,193