Back to Search
Start Over
Software verification and analysis: an integrated, hands-on approach.
- Source :
- Choice: Current Reviews for Academic Libraries; Nov2009, Vol. 47 Issue 3, p540-540, 1/4p
- Publication Year :
- 2009
-
Abstract
- This article reviews the book "Software Verification and Analysis: An Integrated Hands-On Approach," by Janusz Laski and William Stanley.
- Subjects :
- COMPUTER science
NONFICTION
Subjects
Details
- Language :
- English
- ISSN :
- 00094978
- Volume :
- 47
- Issue :
- 3
- Database :
- Supplemental Index
- Journal :
- Choice: Current Reviews for Academic Libraries
- Publication Type :
- Review
- Accession number :
- 45348723
- Full Text :
- https://doi.org/10.5860/CHOICE.47-1471