Verifying concurrent processes using temporal logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hailpern, Brent T. 1955- ((Brent Tzion)) (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag 1982
Σειρά:Lecture notes in computer science 129
Θέματα:
Περιγραφή
Φυσική περιγραφή:viii, 208 σ. 24 εκ.
Βιβλιογραφία:Περιέχει βιβλιογραφικές αναφορές
ISBN:3540112057