Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

Computer Science »
Chairs »
Databases and Information Systems »
Prof. Möller »
Publications »
Publications »
Constructing programs from specifications

Constructing programs from specifications

B. Möller (ed.)

Proc. IFIP TC2 Conference, 1991.