Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

Computer Science »
Chairs »
Databases and Information Systems »
Prof. Möller »
Publications »
Publications »
Deductive Hardware Design: A Functional Approach

Deductive Hardware Design: A Functional Approach

B. Möller

published 1998 In B. Möller, J.V. Tucker (eds.): Prospects for hardware, LNCS 1546.
pp. 420-468, 1998.
Springer-Verlag.