Software verification and analysis : an integrated, hands-on approach
(Book)
Author
Contributors
Status
General Shelving - 3rd Floor
QA76.76.V47 L37 2009
1 available
QA76.76.V47 L37 2009
1 available
Description
Loading Description...
Also in this Series
Checking series information...
Copies
| Location | Call Number | Status |
|---|---|---|
| General Shelving - 3rd Floor | QA76.76.V47 L37 2009 | On Shelf |
More Details
Format
Book
Physical Desc
xviii, 224 pages : illustrations ; 25 cm
Language
English
Notes
Bibliography
Includes bibliographical references and index.
Terms Governing Use and Reproduction
British Library not licensed to copy,0.,Uk
Local note
SACFinal081324
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Łaski, J., & Stanley, W. (2009). Software verification and analysis: an integrated, hands-on approach . Springer.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Łaski, Janusz and William. Stanley. 2009. Software Verification and Analysis: An Integrated, Hands-on Approach. London ; New York: Springer.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Łaski, Janusz and William. Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach London ; New York: Springer, 2009.
Harvard Citation (style guide)Łaski, J. and Stanley, W. (2009). Software verification and analysis: an integrated, hands-on approach. London ; New York: Springer.
MLA Citation, 9th Edition (style guide)Łaski, Janusz., and William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach Springer, 2009.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Loading Staff View.