|
СТ |
Computer-Aided Refinement of Data Structures on Higher Order Algebraic Specifications |
2004 |
Dosch W., Magnussen S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.07.2004 |
|
П |
GOTOs - A Study in the Algebraic Specification of Programming Languages |
1981 |
Broy M., Dosch W., Moller B., Wirsing M. |
|
|
Univ.Edinburgh |
|
19.03.2004 |
|
П |
Pascal-Variante Obersicht uber Sprache, Obersetzer und Formularmaschine |
1985 |
Berghammer R., Dosch W., Obermeier R. |
Lecture Notes in Computer Science |
|
TUM |
|
08.12.1999 |
|
СТ |
Calculating a Functional Module for Binary Search Trees |
1997 |
Dosch W., Moller B. |
|
|
|
Lecture Notes in Computer Science |
07.08.1997 |
|
СТ |
Calculating Digital Counters |
1996 |
Dosch W. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
On A Generalized Product For Domains |
1991 |
Dosch W. |
|
|
INRIA |
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction |
19.11.1991 |
