Verification of sequential and concurrent programs

• Main Author: Apt, Krzysztof (Author)
• Format: Book
• Language: Greek
• Published: Berlin Springer 1997
• Edition: 2nd ed.
• Subjects: ΕΣΑ; Λογισμικό εφαρμογών > Ανάπτυξη