Formale 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 WissenschaftlerInnen der Universit?t Augsburg:?Prof. Dr. Walter Dosch
?
?
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.
