Yazar
Olaf Owe
4 cilt bulundu.
Cilt sonuçları
Fundamentals Of Computation Theory 18th International Symposium Proceedings
Olaf Owe · Springer
Sayfa sayısı yok · 2011
Logic design / Computational complexity / Computer science / Computer software / Discrete Mathematics in Computer Science
From object-orientation to formal methods
Ole-Johan Dahl, Olaf Owe, Tom Lyche · Springer
389 sayfa · 2004
Formal methods (Computer science) / Object-oriented methods (Computer science) / System design / Programming languages (electronic computers) / Computer science
ANNA A Language for Annotating Ada Programs
David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe · Springer
156 sayfa · 1987
Computer science / Programming Languages, Compilers, Interpreters / ANNA (Computer program language) / Ada (Computer program language)