The temporal logic of reactive and concurrent systems

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Manna, Zohar, Pnueli, A. (Amir)
Médium: Kniha
Jazyk:angličtina
Vydáno: New York ; Tokyo Springer-Verlag 1992
Témata:
Electronic digital computers > Programming
Logic, Symbolic and mathematical
ISBN:9780387976648, 3540976647, 0387976647, 9783540976646
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Bibliografie:Includes bibliographical references and index
ISBN:9780387976648
3540976647
0387976647
9783540976646