Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

• Κύριος συγγραφέας: Zwiers, J. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer 1989
• Σειρά: Lecture Notes in Computer Science 321
• Θέματα: ΕΣΑ; COMPUTER NETWORKS; LNCS
• Περιγραφή τεκμηρίου: Τομέας εφαρμογων και θεμελιώσεων της επιστήμης των υπολογιστών. Εργαστήριο συνδυαστικων αλγοριθμων
• Φυσική περιγραφή: vi,272p.: bibliography
• ISBN: 3 540 50845 7