Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
The Calculus of Computation
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Verification exercises develop the facilities provided for the reader in determining and verifying software using logic. The treatment of verification concludes with an introduction to static analysis software, an important component of modern verification system.
Computer eBook Details
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Publisher: Springer
- Pages: 366
- Date: October 2007