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