Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series (Hardback)
  • Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series (Hardback)
zoom

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

(author), (author)
£59.99
Hardback 436 Pages / Published: 27/03/2008
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540674016
Number of pages: 436
Weight: 836 g
Dimensions: 235 x 155 x 25 mm
Edition: 2008 ed.


MEDIA REVIEWS

From the reviews:

"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport's Temporal Logic of Actions (TLA), and model checking methods. ... The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels." (Regimantas Pliuskevicius, Mathematical Reviews, Issue 2009 m)

"The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science."--- (Valentin Goranko, Studia Logica, Vol. 94, 2010)

You may also be interested in...

M Is for (Data) Monkey
Added to basket
£26.99
Paperback
Test Driven Development in C
Added to basket
C++ All-in-One For Dummies
Added to basket
The C++ Programming Language
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
A Tour of C++
Added to basket
£25.99
Paperback
Seven Languages in Seven Weeks
Added to basket
Accelerated C++
Added to basket
£36.99
Paperback
C Programming Language
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
Learn To Program
Added to basket
£19.99
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Programming
Added to basket
£55.49
Paperback
C++ Pocket Reference
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Coding for Beginners in easy steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.