DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
An Introduction to the Cogent Programming System ...
Reynolds, John C. - : Carnegie Mellon University, 2004
BASE
Show details
2
An Introduction to the Cogent Programming System ...
Reynolds, John C. - : Carnegie Mellon University, 2004
BASE
Show details
3
Definitional interpreters for higher-order programming languages
In: College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects (1998)
BASE
Show details
4
Proving Program Correctness. Volume V.
In: DTIC AND NTIS (1981)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern