The temporal logic of reactive and concurrent systems

Saved in:
Bibliographic Details
Main Authors Manna, Zohar, Pnueli, A. (Amir)
Format Book
LanguageEnglish
Published New York ; Tokyo Springer-Verlag 1992
Subjects
Electronic digital computers > Programming
Logic, Symbolic and mathematical
Online AccessGet full text
ISBN9780387976648
3540976647
0387976647
9783540976646

Cover

More Information
Bibliography:Includes bibliographical references and index
ISBN:9780387976648
3540976647
0387976647
9783540976646