Copied Modal and Temporal Properties of Processes
Modal and Temporal Properties of Processes
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Quantification and Syntactic Theory
$169.99
The Dark Side of Japan - Ancient Black Magic, Folklore, Ritual by Antony Cummins
$24.95
Grundkurs Theoretische Physik 2
$39.99
Collaborative Computing: Networking, Applications and Worksharing
$84.99
Creativity and Giftedness
$109.00
The Celtic Tiger in Distress
$84.99
Access to the Sea for Developing Land-Locked States
$109.99
System-on-Chip for Real-Time Applications
$169.99
Resonances in the Earth-Ionosphere Cavity
$249.99
Learn Objective-C for Java Developers
$39.99
Design Considerations of Time in Fuzzy Systems
$219.99
Development Strategy and the Economy of Sierra Leone
$44.99
Healthcare Innovation Success
$89.99
Electrical Instruments in Hazardous Locations
$54.99
Developments in Language Theory
$39.99
Intersections without Traffic Signals II
$84.99
Electromagnetics and Network Theory and their Microwave Technology Applications
$109.99
Police and State Crime in the Americas
$129.99
Incarcerated Youth Transitioning Back to the Community
$84.99
Religious Hair Display and Its Meanings
$119.99
Civil Society Elites in the Italian Third Sector
$44.99
Proceedings of the 10th International Conference on Rotor Dynamics IFToMM
$219.99
Proceedings of the 8th International Conference on Space Science and Communication
$139.00
Recent Essentials in Innovation Management and Research
$54.99
Molecular Biology and Biotechnology of Extremophiles
$54.99
Paralysed with Fear
$29.99
Honeybees and Wax
$84.99
Organization, Performance and Equity
$129.00
Homers Ilias psychologisch erzhlt
$59.99
Ideology and Social Science
$109.99
Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains
$54.99
Innovations in Bayesian Networks
$129.00
Combat Sports Medicine
$199.99
Neuropathies of the Auditory and Vestibular Eighth Cranial Nerves
$109.99
The Global Financial Crisis
$54.99
Computeruntersttzung im Portfoliomanagement
$59.99
Applied Time Series Analysis and Forecasting with Python
$19.99
Growing Up in the Peoples Republic
$119.99
Pragmatic Inversion of Geophysical Data
$39.99
Algorithmic Aspects of Cloud Computing
$44.99
