Program Verification Using Ada
| Main Author: | Andrew D. McGettrick |
|---|---|
| Format: | Buku Teks |
| Language: | Eng |
| Published: |
Cambridge University Press
1982
|
| Subjects: | |
| Online Access: |
http://www.library.usd.ac.id//web/index.php?pilih=search&p=1&q=57239&go=Detail |