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
Elektromagnetische Kopplungen hybrider AC-DC-Leitungen
$64.99
Introduction to Mammalian Reproduction
$169.99
Diachronic Changes Underlying Synchronic Distribution
$119.99
Branchenspezifisches Marketing
$59.99
Child Soldiers: From Recruitment to Reintegration
$54.99
Fahrzeug- und Prozefhrung
$59.99
Anansi The Spider (Hardcover)
$17.99
Oxygen Free Radicals in Tissue Damage
$39.99
Advanced Concepts, Methodologies and Technologies for Transportation and Logistics
$129.00
The Memorial Ethics of Libeskind's Berlin Jewish Museum
$119.00
Grab and Go Pack Theme 2: Social-Emotional Development Grade 5 Spanish
$29.95
Cybersecurity Systems for Human Cognition Augmentation
$109.99
Inclusion Bodies
$139.99
Baubetrieb 2
$54.99
Baby Faces: Dulces sueos
$3.71
National Geographic Kids Readers: Los ponis
$2.99
Open Semantic Technologies for Intelligent System
$54.99
Plantation silviculture
$129.00
Immigration Policy and Crisis in the Regional Context
$99.00
Arthropod-Plant Interactions
$109.99
Optimierung objektorientierter Programme
$29.99
Flocking Together: An Indigenous Psychology Theory of Resilience in Southern Africa
$119.99
Isaiah's Vision of Peace in Biblical and Modern International Relations
$54.99
Probability Through Problems
$89.00
Smart Green Innovations in Industry 4.0 for Climate Change Risk Management
$179.99
Differential Equations with Parameters and Relaxation Oscillations
$39.99
Game Theoretic Problems in Network Economics and Mechanism Design Solutions
$129.99
King & Kayla: King & Kayla and the Case of the Mysterious Mouse
$5.21
Conservation of Architectural Heritage (CAH)
$229.00
Online Communities and Social Computing
$109.99
Die moderne Finanzfunktion
$34.99
Cultural Algorithms
$199.99
Faith, Reason, and Culture
$109.99
Geschlechtsspezifische Prvention des Diabetes Typ-2
$39.99
EdgeAI for Algorithmic Government
$49.99
Demographic Transition, Labour Markets and Regional Resilience
$84.99
Energy Flows, Material Cycles and Global Development
$129.99
Geothermal Energy
$99.00
Smart City Made in Germany
$159.99
Cancer Prevention, Detection, and Intervention
$54.99
