Manna, Zohar, <br/><br/>
Temporal logic of reactive and concurrent systems :  specification / 
Zohar Manna, Amir Pnueli. 
 - 1 online resource (427 pages) :  illustrations 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781461209317 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.6  / .M366 1992 
<br/><br/><label>Dewey Class. No.: </label>005.1