Program Verification Using Ada
Download or Read eBook Program Verification Using Ada PDF 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.
Author | : McGettrick |
Publisher | : Cambridge University Press |
Total Pages | : 364 |
Release | : 1982-07-29 |
ISBN-10 | : 0521242150 |
ISBN-13 | : 9780521242158 |
Rating | : 4/5 (50 Downloads) |
Book Synopsis Program Verification Using Ada by : McGettrick
Book excerpt: