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: 27.5 GBP
Availability: InStock

Languages

This is the usual price. Wait for it to drop, or tell us your number.

£28 today · usual range £0–£0 · best ever £25

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 623 days • 4 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £31-36 (272 days, 43.7%)

Price range: £25 - £52

Price levels: 4 price ranges over 623 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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Time & Logic: A Computational Approach (Routledge Revivals)

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

An Introduction to Practical Formal Methods Using Temporal Logic

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

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

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

Temporal Verification of Reactive Systems: Safety

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

Real-Time Systems: Scheduling, Analysis, and Verification

Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence): Volume 1

Papers On Time And Tense

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

Logic And Language Models For Computer Science (Third Edition)

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Mathematics of Discrete Structures for Computer Science

Computation Engineering: Applied Automata Theory and Logic

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Transitions and Trees: An Introduction to Structural Operational Semantics

Logic and Language Models for Computer Science: Third Edition

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)