2 treff

Bastiansen Tore Jahn
Parametric subtypes in ABEL
Tore Jahn Bastiansen
Bok Engelsk 1995 · Les boka på nett
Subtyping and constructive specification
Ole-Johan Dahl, Olaf Owe and Tore J. Bast...
Bok Engelsk 1996 · Les boka på nett