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 ; .
<br/><br/><label>ISBN: </label>9783642041648 
<br/><br/><label>Subjects--Personal Names: </label><br/>Mosses, Peter.
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics--Congresses.<br/>Computer science--Mathematics--Congresses.<br/>Mathematical Logic and Formal Languages.<br/>Artificial Intelligence (incl. Robotics)<br/>Symbolic and Algebraic Manipulation.<br/>Programming Techniques.<br/>Software Engineering.<br/>Logics and Meanings of Programs.
<br/><br/><label>Dewey Class. No.: </label>005.1