This page in English
SucheFormale Entwicklung digitaler Schaltungen
(ruhend)
| Projektstart: | 01.01.1992 |
| Projektende: | 31.12.1993 |
| Laufzeit: | 01.01.1992 - 31.12.1993 |
| Projektträger: | Universität Augsburg |
| Projektverantwortung vor Ort: | Prof. Dr. Bernhard Möller |
| Beteiligte Wissenschaftler der Universität Augsburg: |
Prof. Dr. Walter Dosch |
| Publikationen: | Link zur Publikationsliste |
Zusammenfassung
Projektziel war es, aus den allgemeinen Regeln der Programmkonstruktion solche abzuleiten, die im Spezialfall der Schaltungsentwicklung besonders adäquat und bequem zu handhaben sind.