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

Temporal Logic and State Systems

Temporal Logic and State Systems

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

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

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

Single Product Purchase

$69.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
$69.99 $69.99

$69.99
See Site In stock Visit Store

Similar Products

Micropropagation of Woody Plants

$329.99

Bedienung und Schaltung von Dynamos und Motoren sowie fr kleine Anlagen ohne und mit Akkumulatoren

$59.99

Geometric Algebra with Applications in Science and Engineering

$84.99

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 11

$299.99

Programmiermethodik mit Ada

$59.99

New Directions in Guided Wave and Coherent Optics

$74.99

Optical Properties of Metal Clusters

$199.99

Informalisierung

$39.99

Todd Parr Books: feliz como eres

$5.21

Prognosen in der Marktforschung

$59.99

The Diplomacies of States

$159.99

Dexter T. Rexter: Vacation for Dexter

$4.46

PLANETEN Wanderer im All

$19.99

Computer: Werkzeug der Medizin

$49.99

The Chechen Struggle

$54.99

Wissenschaftsleadership

$49.99

Moving To ASP.NET

$49.95

The Antibiotic Paradox

$109.99

Marx and Philosophy

$39.99

Ammonoid Paleobiology: From macroevolution to paleogeography

$219.99

Statistics for Data Science and Policy Analysis

$279.99

The Gastroesophageal Reflux in Infants and Children

$39.99

The Arctic Seas

$219.99

Biosensors and Their Applications

$169.99

Miverstndnisse in Gesprchen

$64.99

Three Mile Island, Chernobyl and Fukushima

$109.99

Fhrung von Vertriebsorganisationen

$49.99

Planning and Operation of Active Distribution Networks

$219.99

Understanding Human Life

$139.99

Artificial Intelligence

$119.99

Die Sprache der Aufrstung

$69.99

International Handbook of Chinese Families

$169.99

Kundenbeziehungsmanagement fr interne IT-Dienstleister

$74.99

Processes of Visuospatial Attention and Working Memory

$169.99

GANs for Data Augmentation in Healthcare

$179.99

Irregular Afghan Migration to Europe

$109.99

Architecture and Mathematics from Antiquity to the Future

$139.00

Building Client/Server Applications with VB .NET

$54.99

Eine kleine Quantenphysik

$39.99

Adaptive Representations for Reinforcement Learning

$109.99