Treffer: Modular algebraic specifications and transformational program development

Titel:

Verantwortlich:

Entstehung:

1994

Umfang:

VII,161 S.

Publikationstyp:

Buch

Sprache:

Englisch

Hochschulschrift:

Nijmegen, Univ., Diss., 1994

ISBN:

9090074384

Lokale Klassifikationen:

Zusatz-Informationen