Verification of sequential and concurrent programs

• Main Author: Apt, Krzysztof (Author)
• Format: Book
• Language: Greek
• Published: Berlin Springer 1997
• Edition: 2nd ed.
• Subjects: ΕΣΑ; Λογισμικό εφαρμογών > Ανάπτυξη
• Item Description: Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων
• Physical Description: xvii,364p.
• ISBN: 0 387 94896 1