Rigorous software development : an introduction to program verification
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London, U. K. ; New York :
Springer ,
c2011
|
| Series: | Undergraduate topics in computer science
|
| Subjects: | |
| Online Access: | Table of contents only Contributor biographical information Publisher description |
| Physical Description: | xii, 263 p. : ill. ; 23 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index |
| ISBN: | 0857290175 (paperback : alk. paper) 9780857290175 (paperback : alk. paper) |