Program Verification Using Ada
| Author | : McGettrick |
| Publisher | : Cambridge University Press |
| Total Pages | : 364 |
| Release | : 1982-07-29 |
| ISBN-13 | : 0521242150 |
| ISBN-10 | : 9780521242158 |
| Rating | : 4/5 (58 Downloads) |
Book Synopsis Program Verification Using Ada by : McGettrick
Download or read book Program Verification Using Ada written by McGettrick and published by Cambridge University Press. This book was released on 1982-07-29 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt:
