KORSO: Methods, Languages, and Tools for the Construction of Correct SoftwareManfred Broy, Stefan JähnichenHäftad, 1995566 kr
Polymerization Process ModelingN. A. Dotson, R. Galvan, R. L. Laurence, M. TirrellHäftad, 19953 343 kr
Experiments In Mathematics Using MapleChristopher T.J. Dodson, Elizabeth A. GonzalezHäftad, 1995549 kr