Catalog

Record Details

Catalog Search



Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay.

Jay, Barry. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540891857
  • Physical Description: XVII, 213 pages with 58 illustrations online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.

Additional Resources