The Temporal Logic of Reactive and Concurrent Systems PDF
By:Zohar Manna,Amir Pnueli
Published on 2012-12-06 by Springer Science & Business Media
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
This Book was ranked at 17 by Google Books for keyword Informatique et Internet.
Book ID of The Temporal Logic of Reactive and Concurrent Systems's Books is R0PtBwAAQBAJ, Book which was written byZohar Manna,Amir Pnuelihave ETAG "sjRKafr+NeU"
Book which was published by Springer Science & Business Media since 2012-12-06 have ISBNs, ISBN 13 Code is 9781461209317 and ISBN 10 Code is 1461209315
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "427 Pages" is Printed at BOOK under CategoryComputers
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false
Book Preview
Download The Temporal Logic of Reactive and Concurrent Systems PDF Free
Download The Temporal Logic of Reactive and Concurrent Systems Books Free
Download The Temporal Logic of Reactive and Concurrent Systems Free
Download The Temporal Logic of Reactive and Concurrent Systems PDF
Download The Temporal Logic of Reactive and Concurrent Systems Books
No comments:
Post a Comment