Jay, Barry.
Pattern Calculus Computing with Functions and Structures / [electronic resource] : by Barry Jay. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital.
9783540891857
10.1007/978-3-540-89185-7 doi
Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131
Pattern Calculus Computing with Functions and Structures / [electronic resource] : by Barry Jay. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital.
9783540891857
10.1007/978-3-540-89185-7 doi
Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131