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

Die Knstlerbrille

$44.99

The Culture of Capital Punishment in Japan

$31.00

Risk Culture in Banking

$199.99

Verfahren zur Erkennung und Unterscheidung von Chemiefaserstoffen

$59.99

The Migration Turn and Eastern Europe

$129.99

Markenarchitektur

$99.00

Physical Properties of Biological Membranes and Their Functional Implications

$39.99

Number the Stars

$7.49

Silicon Nano-biotechnology

$54.99

Green Politics

$109.99

Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries

$84.99

Entstehung und Strukturwandel des Staates

$44.99

Scholar Zone Extended Learning ELA & Math Grade 8 (2 Scholar)

$150.00

Dictionary of the European Economic Community

$74.99

Cricket Pitches

$169.99

Unternehmensfhrungslehre

$49.99

Kultursoziologie im 21. Jahrhundert

$39.99

Projektabwicklung in der Bauwirtschaft prozessorientiert

$179.99

Curriculum Studies in the United States: Present Circumstances, Intellectual Histories

$54.99

Epigenetic Epidemiology

$249.99

The Management of Industrial Forest Plantations

$219.99

Great Graphix Grades 5-7

$185.00

Probability and Heat

$59.99

Der Strategie-Scout

$64.99

Natural & Curly Hair For Dummies by Johnny Wright

$29.99

The Art of William Faulkner

$109.99

Protein Purification Protocols

$129.00

Introduction to Optics

$54.99

Moderne Personalentwicklung

$54.99

Pancreatology

$39.99

Migration und Brgerbewusstsein

$54.99

Ordnung. Macht. Extremismus

$44.99

Fungal Associations

$169.00

Parametric and Nonparametric Inference for Statistical Dynamic Shape Analysis with Applications

$54.99

Weaving Services and People on the World Wide Web

$84.99

Periphere Durchblutungskrankheiten im Spiegel der Mikrozirkulation

$59.99

Multilateralism and Western Strategy

$109.99

Taking Stock of Delinquency

$84.99

Soft Computing Applications

$129.00

Confucianism and Enlightenment

$89.00