Krogdahl, Stein books & textbook
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science, 2635)
Owe, Olaf Krogdahl, Stein Lyche, Tom
Springer /2004-03-31 Paperback / 402 Pages
isbn-10: 354021366X / isbn-13: 9783540213666
