The temporal logic of reactive and concurrent systems

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Manna, Zohar, Pnueli, A. (Amir)
Format: Buch
Sprache:Englisch
Veröffentlicht: New York ; Tokyo Springer-Verlag 1992
Schlagworte:
Electronic digital computers > Programming
Logic, Symbolic and mathematical
ISBN:9780387976648, 3540976647, 0387976647, 9783540976646
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Bibliographie:Includes bibliographical references and index
ISBN:9780387976648
3540976647
0387976647
9783540976646