Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 6119c7b5-542e-4074-b5ea-a2b03d4f423b |
| isbn | 9783642279188 9783642279195 (ebk.) |
| issn | |
| language | eng |
| physical | xiii, 264 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©2012 |
| publishDate | ©2012 |
| subjects | |
| title | The correctness-by-construction approach to programming / Derrick G. Kourie, Bruce W. Watson. |
| topic | Formal methods (Computer science) Software engineering. |