Constructie en verificatie van programma's / Roland C. Backhouse ; [vert. uit het Engels: M.M. Stefanski]
Uitg. in samenw. met Prentice-Hall
| rdfs:label | "Constructie en verificatie van programma's / Roland C. Backhouse ; [vert. uit het Engels: M.M. Stefanski]" |
| schema:name | "Constructie en verificatie van programma's" |
| schema:author | Backhouse, Roland C. (1948-) |
| schema:contributor | Stefanski, Maarten M. |
| schema:description | "Uitg. in samenw. met Prentice-Hall" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1990" |
| schema:about | Programming |
|
<http:/ |
|
| programmeren | |
| Verification | |
|
schema:book |
"1e dr" |
|
schema:in |
"nl" |
|
schema:is |
Prentice-Hall/Academic Service serie |
| schema:isbn | "906233461X" |
|
schema:number |
309 |
| schema:publication |
<https:/ |
|
schema:translation |
<https:/ |