Welcome to Central Library, SUST
Image from Google Jackets

The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

By: Contributor(s): Material type: TextTextPublication details: New York : Springer-Verlag, c1992.Description: (V-1), xiv, 427p. : ill. ; 25 cmISBN:
  • 0387976647 (New York : v. 1)
  • 3540976647 (Berlin : v. 1)
Subject(s): DDC classification:
  • 005.1 20 NAT
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 005.1 NAT (Browse shelf(Opens below)) 1 Available I000470
Books Books Library, Institute of Information and Communication Technology General Stacks 005.1 NAT (Browse shelf(Opens below)) 2 Available I000469
Books Books Library, Institute of Information and Communication Technology General Stacks 005.1 NAT (Browse shelf(Opens below)) 3 Available I000468

Includes bibliographical references (p. 389-401) and indexes.

There are no comments on this title.

to post a comment.