Diepen, Nicolaas Wilhelmus Petrus van (1959-)
Roepnaam: Niek
| rdfs:label | "Diepen, Nicolaas Wilhelmus Petrus van (1959-)" |
| schema:name | "Nicolaas Wilhelmus Petrus van Diepen" |
|
schema:family |
"van Diepen" |
|
schema:given |
"Nicolaas Wilhelmus Petrus" |
|
schema:alternate |
"Diepen, Niek van" |
| schema:description | "Roepnaam: Niek" |
|
schema:birth |
"1959" |
|
schema:same |
wd:Q102257380 |
|
<https:/ |
|
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Diepen, Nicolaas Wilhelmus Petrus van (1959-)
A study in algebraic specification : a language with goto-statements / N.W.P. van Diepenschema:ProductModel
Formalizing informal requirements : some aspects / N.W.P. van Diepen, H.A. Partschschema:ProductModel
From formal specification towards derivation: the MacMahon (Swiss) system / N.W.P. van Diepenschema:ProductModel
Implementation of modular algebraic specifications / N.W.P. van Diepenschema:ProductModel
Modular algebraic specifications and transformational program development / Nicolaas Wilhelmus Petrus van Diepenschema:ProductModel
Program derivation through transformations : the evolution of list-copying algorithms / N.W.P. van Diepen, W.P. de Roeverschema:ProductModel