*Result*: Modular algebraic specifications and transformational program development
*Title*:
Modular algebraic specifications and transformational program development / door Nicolaas Wilhelmus Petrus van Diepen
*Author/editor-in-chief*:
*Manufacture*:
1994
*Physical description scale*:
VII,161 S.
*Format*:
*Language*:
*eng*
*Dissertation note*:
Nijmegen, Univ., Diss., 1994
*ISBN*:
9090074384
*L1_Classifications*: