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

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

Saved in:
Bibliographic Details
Author / Creator:Łaski, Janusz.
Imprint:London ; New York : Springer, c2009.
Description:1 online resource (xviii, 224 p.) : ill.
Language:English
Subject:
Computer software -- Verification.
Computer software -- Verification.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/8889337
Hidden Bibliographic Details
Other authors / contributors:Stanley, William.
ISBN:9781848822405
1848822405
Notes:Includes bibliographical references and index.
Description based on print version record.
Other form:Print version: Łaski, Janusz. Software verification and analysis. London ; New York : Springer, c2009 9781848822399 1848822391

Similar Items