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!

Buďte prvý, kto okomentuje tento záznam!