Bibliographic details
- ISBN
- 9780387794228
- Publisher
- Springer US
- Publication place
- Boston, MA
- Publication year
- 2008
- Material type
- Book
Additional authors
SpringerLink (Online service)
Subjects
Algebra, Computer science., Computer Science., Logic design., Logics and Meanings of Programs., Programming Languages, Compilers, Interpreters., Symbolic and Algebraic Manipulation., (E-Book)