Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse
₹4,268
Reachability Problems
10th International Workshop
by Kim Guldstrand Larsen, Igor Potapov
Springer-Nature New York Inc · 2016 · Paperback
₹4,200
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
Published by Springer-Nature New York Inc in 2016, Reachability Problems: 10th International Workshop by Kim Guldstrand Larsen & Igor Potapov runs to 193 pages in paperback.
Its main subjects are Computer simulation, Computers, Decidability (mathematical logic) and Configurations.
Book details
- ISBN-13
- 9783319459936
- ISBN-10
- 3319459937
- Authors
- Kim Guldstrand Larsen, Igor Potapov
- Publisher
- Springer-Nature New York Inc
- Published
- 2016
- Edition
- 1st ed. 2016
- Binding
- Paperback
- Pages
- 193
- Language
- English
- Condition
- New
- Subject
- Operating systems
More by Kim Guldstrand Larsen and related titles
Windows 2000 Virtual Private Networking by Thaddeus Fortenberry – VPN Guide
Thaddeus Fortenberry
₹5,822
Vmware Vrealize Operations Managers Essentials
Matthew Steiner
₹2,676
Creating Google Chrome Extensions
Prateek Mehta
₹4,634
Robust and Online Large-Scale Optimization
Ravindra K. Ahuja
₹4,260
How to Do Everything
Dwight Spivey
₹3,328
UNIX for Dummies
John R. Levine, Margaret Levine Young
₹2,322
Mac Basics in easy steps
Drew Provan
₹3,380
Pro Couchbase Server
Mohammed Haji, David Ostrovsky, Yaniv Rodenski
₹4,266
Samba Installation, Configuration, and Sizing Guide
IBM Redbooks
₹3,704
Introducing Windows 8 – An Overview for IT Professionals
Jerry Honeycutt
₹3,849
Mac OS X Leopard Just the Steps for Dummies
Keith Underdahl
₹3,386