Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / [electronic resource] :
edited by Jens Palsberg.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- viii, 409 pages : illustrations, digital.
- Lecture notes in computer science, 5700 0302-9743 ; .
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
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
