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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Landscape Planning with Ecosystem Services
$99.00
Advanced Intelligent Systems for Sustainable Development (AI2SD2019)
$169.99
Die multiethnischen Einflsse Brasiliens im Schaffen des Komponisten Hekel Tavares (18961969)
$129.99
Young Geographers
$159.99
Nanotechnology Enabled In situ Sensors for Monitoring Health
$84.99
Wissen, Sprache und Wirklichkeit
$69.99
Small-Scale Steelmaking
$39.99
Like Son, Like Father
$39.99
Presidential Rhetoric on Terrorism under Bush, Obama and Trump
$64.99
Elektrotechnische Mekunde
$44.99
Infection Control
$54.99
Wissenschaft, Raum, Gesellschaft
$24.99
Das geriatrische Assessment
$44.99
The Evolution of Development Thinking
$44.99
The Origins of Life
$169.99
Animal Senses: Sight
$3.71
Elizabeth I's Italian Letters
$139.99
Strategic Sourcing in the New Economy
$99.99
Advances in Human Genetics 14
$39.99
Handbuch fr Sternfreunde
$49.99
Cell Cycle Inhibitors in Cancer Therapy
$169.99
Towards Pan-Africanism
$129.99
Computational Linguistics and Intelligent Text Processing
$84.99
Frame Theory in Data Science
$199.99
Feature Learning and Understanding
$159.99
Emotion and the Contemporary Museum
$54.99
Messung und Regelung des Klimazustandes durch eine die Ertrglichkeit fr den Menschen anzeigende Kl
$59.99
Entwicklungsgesetze der Stadt
$59.99
Basiswissen Allgemeine und Spezielle Pathologie
$19.99
Synthetic Biology
$54.99
Theorie des Entrepreneurship
$74.99
Dynamics Reported
$39.99
Bericht ber die Jahre 19491950
$59.99
Practical Guide to Neck Dissection
$109.00
Embedded Systems Design with Special Arithmetic and Number Systems
$109.99
Political Communications
$109.99
Organisation integrierter Dienstleistungsinnovationssysteme
$69.99
Theorems and Problems in Functional Analysis
$99.99
Lola at the Library
$5.96
Evolving Strategies and Tactics in Membrane Research
$74.99
