Specification, Algebra, and Software
Shusaku Iida, Jos� Meseguer, Kazuhiro Ogata
Specification, Algebra, and Software - Springer 2014 - Lecture Notes in Computer Science .
9783642546242
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters
Specification, Algebra, and Software - Springer 2014 - Lecture Notes in Computer Science .
9783642546242
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters