Catalog

Record Details

Catalog Search



Introduction to the Theory of Programming Languages Cover Image E-book E-book

Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.

Dowek, Gilles. (Author). Lévy, Jean-Jacques. (Added Author). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780857290762
  • Physical Description: XI, 118p. digital.
  • Publisher: London : Springer London, 2011.
Subject: Computer science.
Information theory.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.

Electronic resources



Additional Resources