Correctness-by-Construction Approach to Programming
By: Kourie, Derrick G.
Contributor(s): Watson, Bruce W.
Material type:
BookPublisher: Berlin: Springer, 2012Description: xiii, 264 p.; ill.: 25 cm.ISBN: 9783642279188 .Subject(s): Formal methods | Lattice Cover Graph | MADFA | SEMAT | Logic design | Software engineeringDDC classification: 005.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1 KOU (Browse shelf) | Available | 028047 |
Browsing DAIICT Shelves Close shelf browser
| 005.1 KOC Free/open source software development | 005.1 KOR Computer Arithmetic Algorithms | 005.1 KOR Practical Computing on the Cell Broadband Engine | 005.1 KOU Correctness-by-Construction Approach to Programming | 005.1 KOZ Design and analysis of algorithms | 005.1 KRA UML Xtra-Light : how to specify your software requirements | 005.1 KRU Rational Unified Process: an introduction |
There are no comments for this item.