Livro
Acesso aberto
Revisado por pares
From Object-Orientation to Formal Methods
2004; Springer Science+Business Media; Linguagem: Inglês
10.1007/b96089
ISSN1611-3349
AutoresOlaf Owe, Stein Krogdahl, Tom Lyche,
Tópico(s)Philosophy, Science, and History
ResumoAfter Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us th
Referência(s)