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

£39.67

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

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£40 today · previous high £40 · all-time low £30

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 68 days · 68 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 68 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £30 (43 days, 63.2%)

Price range: £30 - £40

Price levels: 3 different prices over 68 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 > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
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 most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

TOMS Men TRVL LITE 2.0 Slip-ON, 10016337 UK7 Black

PUMA LIGA Baselayer Tee LS

ACT LC-SC 50/125 OM2 Duplex 2.00 m.

TOMS Men's Carlo Sneaker, Black, 9.5 UK

TOMS Alpargata Classic Slip-On Shoes - Comfortable Canvas Upper and Cushioned Insole for Stylish Everyday Wear Red

TOMS Men's Carlo Sneaker, White, 9.5 UK

TOMS Women's Cushioned Regular Fit Shoes - Comfortable, Breathable Materials for All-Day Wear | Versatile Casual Style

hummel St. Power Adult Laces Trainers, White Black Iris, 9 UK

Phoenix Technologies Phnx Toem Mini ITX Computer Case

TOMS MEN BAJA White Canvas UK8.5

TOMS Womens Recycled Cotton Alpargata Loafer Flat - White 6.5 UK

Thermaltake Tt Mod 24 Pin ARGB Cable

PUMA Club II Era Men's Fashion Trainers - Suede and Leather

PUMA Club II Era Men's Fashion Trainers - Suede and Leather

TOMS Womens Recycled Cotton Alpargata Loafer Flat, Ash Recycled Cotton Canvas, 6.5 UK

TOMS Mens Recycled Cotton Alpargata Loafer Flat, Navy, 10.5 UK

TOMS Womens Recycled Cotton Alpargata Loafer - Ash Canvas

Tenma 72-3580 Voltage and Continuity Tester with RCD Test and LCD Display, 6V to 690V

Bessey GZ25K All-Steel Table Clamp, Grey/Red, 250/120 mm

TOMS Men's Carlo Sneaker, Black White, 12 UK

TOMS Men's Slip-On Shoes with Cushioned Footbed Comfortable and Durable Design for All-Day Wear

TOMS Men's Slip-On Shoes - All-Day Comfort & Style, Premium Durable Materials, Breathable Design

TOMS Women's Lexie Flat Sandal, Tan, 9 UK

TOMS Womens Recycled Cotton Alpargata Loafer Flat - White 4.5 UK