The temporal logic of reactive and concurrent systems

Uložené v:
Podrobná bibliografia
Hlavní autori: Manna, Zohar, Pnueli, A. (Amir)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: New York ; Tokyo Springer-Verlag 1992
Predmet:
Electronic digital computers > Programming
Logic, Symbolic and mathematical
ISBN:9780387976648, 3540976647, 0387976647, 9783540976646
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Bibliografia:Includes bibliographical references and index
ISBN:9780387976648
3540976647
0387976647
9783540976646