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

By:

Contributor(s):

Material type: Text

TextPublication details: New York : Springer-Verlag, c1992.Description: (V-1), xiv, 427p. : ill. ; 25 cmISBN:

Subject(s):

DDC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	Library, Institute of Information and Communication Technology General Stacks	005.1 NAT (Browse shelf(Opens below))	1	Available	I000470
Books	Library, Institute of Information and Communication Technology General Stacks	005.1 NAT (Browse shelf(Opens below))	2	Available	I000469
Books	Library, Institute of Information and Communication Technology General Stacks	005.1 NAT (Browse shelf(Opens below))	3	Available	I000468

Previous			No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available		No cover image available No cover image available	Next
Previous	005.1 MII An introduction to genetic algorithms /	005.1 MII An introduction to genetic algorithms /	005.1 NAT The temporal logic of reactive and concurrent systems /	005.1 NAT The temporal logic of reactive and concurrent systems /	005.1 NAT The temporal logic of reactive and concurrent systems /	005.1 NEB Building microservices : designing fine-grained systems /	005.1 NOC Complete guide to upgrading & repairing PCs /	Next

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

There are no comments on this title.

to post a comment.