Nielson, Hanne Riis.
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson. - London : Springer London, 2007. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9781846286926
10.1007/978-1-84628-692-6 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson. - London : Springer London, 2007. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9781846286926
10.1007/978-1-84628-692-6 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13