Image from Amazon.com
Rigorous software development : an introduction to program verification / José Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto and Simao Melo de Sousa
Material type:
TextPublication details: London : Springer, 2011.Description: xii, 263 pages : IllustrationsISBN: - 9780857290175
- QA 76.76.V47 RIG 2011
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Main Library On Shelf | QA 76.76.V47 RIG 2011 (Browse shelf(Opens below)) | 1 | Available | 33729001640502 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.