Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780387987170
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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