Catalog

Record Details

Catalog Search


Search Results Showing Item 9 of 907

Introduction to the Theory of Programming Languages

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

Electronic resources

Record details

  • ISBN: 9780857290762
  • Physical Description: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 9 of 907

Additional Resources