Summary goes here
محفوظ في:
| التنسيق: | كتاب |
|---|---|
| اللغة: | الإنجليزية |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| 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. |