10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Temporal Logic and State Systems

View All Editions (2)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Temporal Logic and State Systems Synopsis

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.

About This Edition

ISBN: 9783540674016
Publication date:
Author: Fred Kröger, Stephan Merz
Publisher: Springer an imprint of Springer Berlin Heidelberg
Format: Hardback
Pagination: 300 pages
Series: Texts in Theoretical Computer Science : An EATCS Series
Genres: Compilers and interpreters
Software Engineering
Mathematical theory of computation