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

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library