Haveraaen, Magne books & textbook
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624)
Mossakowski, Till Montanari, Ugo Haveraaen, Magne
Springer /2007-08-09 Paperback / 474 Pages
isbn-10: 3540738576 / isbn-13: 9783540738572
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... (Lecture Notes in Computer Science, 1130)
Haveraaen, Magne Owe, Olaf Dahl, Ole-Johan
Springer /1996-09-04 Paperback / 568 Pages
isbn-10: 3540616292 / isbn-13: 9783540616290
