Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) - Image 1

£27.50

Springer Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Name: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 34.56 GBP
Availability: InStock

Languages

Price History & Forecast

Last 28 days • 28 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 28 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £34 (18 days, 64.3%)

Price range: £26 - £35

Price levels: 4 different prices over 28 days

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540674012
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 27 March 2008
Listed Since: 05 February 2007

Barcode

No barcode data available

Springer Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Springer Advances in Verification of Time Petri Nets and TA

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Temporal Verification of Reactive Systems: Safety

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Logics of Specification Languages Monograph

Temporal Logic - World Scientific Publishing Company Book

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

An Introduction to Practical Formal Methods Using Temporal Logic

Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Mathematical Logic for Computer Science

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

An Introduction to Formal Language Theory (Monographs in Computer Science)

Time & Logic: A Computational Approach (Routledge Revivals)

Systems and Software Verification: Model-Checking Techniques and Tools

Computation Engineering: Applied Automata Theory and Logic

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

Real-Time Systems: Formal Specification and Automatic Verification

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)