Back to Search Start Over

Software verification and analysis: an integrated, hands-on approach.

Authors :
Bender, H. J.
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

Subjects :
COMPUTER science
NONFICTION

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