Rigorous software development : an introduction to program verification / Jose Bacelar Almeida ... [et al.]
-
| | | Rigorous software development : an introduction to program verification. - London , 2011. |
| xii, 263 p. : ill. ; 23 cm Undergraduate topics in computer science. | Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C. | ISBN 9780857290175 (pbk.) | .-ISBN 0857290177 (pbk.). | | 1. Computer software - Development 2. Computer software - Verification.I. Almeida, Jose Bacelar II. Title III. Series | | Library : UiTM Shah Alam |
| Accn No. | Item Status | Add Id | Location | SMD | Item Category | 922633 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | RAK TERBUKA (OPEN SHELVES) |
|
|
|