Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series). Fred Kroger, Stephan Merz

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



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



Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) Fred Kroger, Stephan Merz ebook pdf
Publisher:
Language: English
Page: 448
ISBN: 3540674012, 9783540674016

Review

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 Pliuškevicius, 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)

About the Author

Fred Krger:Since 1971 working in Computer Science1980-1986 Professor for Computer Science at Technical University of MunichSince 1986 Professor for Computer Science at University of Munich1987 World-wide first textbook on Temporal Logic ("Temporal Logic of Programs", Springer)Stephan Merz:1992 Ph.D. in Computer Science, University of Munich1995-2002 Assistant Professor for Computer Science, University of Munichsince 2002 Senior Researcher, INRIA Lorraine, Nancy



MORE EBOOKS:
Download The Bed of Procrustes: Philosophical and Practical Aphorisms pdf
Depressed and Anxious: The Dialectical Behavior Therapy Workbook for Overcoming Depression and Anxiety ebook free download
A School for My Village: A Promise to the Orphans of Nyaka ebook free download
Chickenhawk pdf free download







Tags: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) ebook pdf epub djvu mobi rar
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) pdf epub djvu free download
Download Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) free ebook pdf epub
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) read online free book
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) cheap ebook for kindle and nook
Fred Kroger, Stephan Merz ebooks and audio books
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd