Dowek, Gilles.
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857290762
10.1007/978-0-85729-076-2 doi
Computer science.
Information theory.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
QA75.5-76.95
004.0151
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857290762
10.1007/978-0-85729-076-2 doi
Computer science.
Information theory.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
QA75.5-76.95
004.0151