Verification of sequential and concurrent programs

Door: Apt, Krzysztof R. and Ernst R?diger Olderog

❮ ❯

• ISBN:
• Uitgever: Springer 1991 cloth
• Taal: ------------------
• Categorie: science
• Details: 441 pp. ISBN (3540975322) (code Sc-60)
• Extra informatie:
• € 32.00