Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Hankin, Chris', doba hledání: 0,01 s.
Upřesnit hledání
-
1
Principles of program analysis with 56 figures and 51 tables Autor Nielson, Flemming 1955-
Vydáno 2010Signatura: loading...
Umístění: loading...Kniha loading... -
2
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Vydáno 1995Signatura: loading...
Umístění: loading...Kniha loading... -
3
Lambda calculi a guide for computer scientists Autor Hankin, Chris
Vydáno 1994Signatura: loading...
Umístění: loading...Kniha loading...