Semantics and algebraic specification [electronic resource] : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / edited by Jens Palsberg.
Series: Lecture notes in computer science ; 5700Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: viii, 409 pages : illustrations, digitalISBN:- 9783642041648
- Mosses, Peter
- Programming languages (Electronic computers) -- Semantics -- Congresses
- Computer science -- Mathematics -- Congresses
- Mathematical Logic and Formal Languages
- Artificial Intelligence (incl. Robotics)
- Symbolic and Algebraic Manipulation
- Programming Techniques
- Software Engineering
- Logics and Meanings of Programs
- 005.1 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
