Dr.-Ing. Berthold Hoffmann |
 |
|||||||
|
DFKI GmbH Cyber-Physical Systems Gebäude Cartesium Enrique-Schmidt-Straße 5 D-28359 Bremen |
|
Publikationen
- Till Mossakowski
On Teaching Logic and Algebraic Specification.
In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Pages 269-286, Universität Bremen, 2009. - Mehr...