Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
Author Manna, Zohar, author.

Title Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli.

Publication Info. New York : Springer Science+Business Media, 1992.
1992

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (427 pages) : illustrations
text rdacontent
computer rdamedia
online resource rdacarrier
Bibliography Includes bibliographical references and index.
Note Description based on print version record.
Subject Computer programming.
Logic, Symbolic and mathematical.
Genre/Form Electronic books.
Added Author Pnueli, Amir, 1941-2009, author.
Other Form: Print version: Manna, Zohar. Temporal logic of reactive and concurrent systems : specification. New York : Springer Science+Business Media, c1992 xiv, 427 pages 9781461269502 91028181
ISBN 9781461269502
9781461209317 (e-book)

 
    
Available items only