Verification of sequential and concurrent programs

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