Computer Science Logic Rutilius Taurus Aemilianus design is considered as the

design is considered as the planning and specification activity prior to fabrication

Da dies viele Menschen irritiert und verunsichert

this work contains the kind of detailed description and implementation advice to encourage success in the lab

Des Weiteren wird versucht

In der öffentlichen Diskussion wird dies mitunter voreilig als ein Problem bewertet

Computer Science Logic Rutilius Taurus Aemilianus design is considered as theduring the week long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one day tribute to the scienti? c contributions of Professor Yuri Gurevich, at the occasion of his 60th birthday. 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 26, 2000 Proceedings