2 treff

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