This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Deductive Hardware Design: A Functional Approach

Deductive Hardware Design: A Functional Approach

B. Möller

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