Treffer: Modular algebraic specifications and transformational program development
Titel:
Modular algebraic specifications and transformational program development / door Nicolaas Wilhelmus Petrus van Diepen
Verantwortlich:
Entstehung:
1994
Umfang:
VII,161 S.
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Nijmegen, Univ., Diss., 1994
ISBN:
9090074384
Lokale Klassifikationen: