Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg.
By: Palsberg, Jens.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 5700.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642041648.Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Software Engineering | Programming Techniques | Symbolic and Algebraic Manipulation | Artificial Intelligence (incl. Robotics)DDC classification: 005.1015113 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.