Transformational development of circuit descriptions for binary adders
Author: | Carlos Delgado Kloos, Walter Dosch |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/14355 |
Parent Title (German): | Methodik des Programmierens: eine Festschrift zu Ehren von F. L. Bauer |
Publisher: | Universität Passau, Fakultät für Mathematik und Informatik |
Place of publication: | Passau |
Editor: | M. Broy, M. Wirsing |
Type: | Part of a Book |
Language: | English |
Year of first Publication: | 1989 |
Release Date: | 2017/07/21 |
First Page: | 99 |
Last Page: | 117 |
Series: | Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau: MIP ; 89,15 |
Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |