Pattern Calculus Computing with Functions and Structures
Record details
- ISBN: 9783540891857
-
Physical Description:
electronic
electronic resource
access
remote
XVII, 213 pages with 58 illustrations online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Search for related items by subject
Subject: | Computer science Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters |