Welcome to Central Library, SUST
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli.

By: Contributor(s): Material type: TextTextPublication details: New York : Springer, c1995.Description: xviii, 512 p. : ill. ; 25 cmISBN:
  • 9781461287018
Subject(s): DDC classification:
  • 005.2 20 MAT
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.2 MAT (Browse shelf(Opens below)) 1 Available I000453
Books Books Library, Institute of Information and Communication Technology General Stacks 005.2 MAT (Browse shelf(Opens below)) 2 Available I000454
Books Books Library, Institute of Information and Communication Technology General Stacks 005.2 MAT (Browse shelf(Opens below)) 3 Available I000455

Includes bibliographical references (p. [465]-479) and indexes.

There are no comments on this title.

to post a comment.