The temporal logic of reactive and concurrent systems

Saved in:
Bibliographic Details
Main Authors: Manna, Zohar, Pnueli, A. (Amir)
Format: Book
Language:English
Published: New York ; Tokyo Springer-Verlag 1992
Subjects:
Electronic digital computers > Programming
Logic, Symbolic and mathematical
ISBN:9780387976648, 3540976647, 0387976647, 9783540976646
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Bibliography:Includes bibliographical references and index
ISBN:9780387976648
3540976647
0387976647
9783540976646