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

£38.97

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

£39 today · previous high £39 · all-time low £38

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

Mathematical Logic

Price Distribution

Price distribution over 49 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £38 (42 days, 85.7%)

Price range: £38 - £39

Price levels: 2 different prices over 49 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

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

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

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 - Men's Slim Fit Training Shirt

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 Barebone Case

TOMS MEN BAJA White Canvas UK8.5

TOMS Womens Recycled Cotton Alpargata Loafer - White, 6.5 UK

Thermaltake Tt Mod 24 Pin ARGB Cable

PUMA Club II Era - Classic Suede Leather Fashion Trainer

PUMA Club II ERA - Men's Fashion Trainers with Suede

TOMS Womens Recycled Cotton Alpargata Loafer - Ash Canvas

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

TOMS Womens Recycled Cotton Alpargata Loafer - Ash, Size 3.5

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 Women's Classic Canvas Alpargata - White Slip-On Shoes

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

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

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

PUMA LIGA Baselayer Tee LS - Men's Slim Fit Training Shirt

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 Barebone Case

TOMS MEN BAJA White Canvas UK8.5

TOMS Womens Recycled Cotton Alpargata Loafer - White, 6.5 UK

Thermaltake Tt Mod 24 Pin ARGB Cable

PUMA Club II Era - Classic Suede Leather Fashion Trainer

PUMA Club II ERA - Men's Fashion Trainers with Suede

TOMS Womens Recycled Cotton Alpargata Loafer - Ash Canvas

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

TOMS Womens Recycled Cotton Alpargata Loafer - Ash, Size 3.5

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 Women's Classic Canvas Alpargata - White Slip-On Shoes