Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
VLISP A Verified Implementation of Scheme
inbunden,
1995,
Engelska,
ISBN 9780792395669
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). Some of the major elements in this …
Canadian Mountain Assessment
inbunden,
2024,
Engelska,
ISBN 9781773855080
The Canadian Mountain Assessment provides a first-of-its-kind look at what we know, do not know, and need to know about mountain systems in Canada. The assessment is based on …