Verification of sequential and concurrent programs

• Κύριος συγγραφέας: Apt, Krzysztof (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Berlin Springer 1997
• Έκδοση: 2nd ed.
• Θέματα: ΕΣΑ; Λογισμικό εφαρμογών > Ανάπτυξη
• Περιγραφή τεκμηρίου: Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων
• Φυσική περιγραφή: xvii,364p.
• ISBN: 0 387 94896 1