Software verification and analysis : an integrated, hands-on approach / Janusz Laski, William Stanley.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Ebook |
| Language: | English |
| Published: |
London ; New York :
Springer,
[2009]
|
| Subjects: | |
| Online Access: | Springer eBooks |
| Physical Description: | 1 online resource (xviii, 224 pages) : illustrations |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 1848822391 9781848822399 1282236334 9781282236332 1848822405 9781848822405 |