Cover Image

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully re...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Corradini, Andrea. (Editor), Montanari, Ugo. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5486
Subjects:
Computer science.
Information theory.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Theory of Computation.
Computation by Abstract Devices.
Mathematical Logic and Foundations.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-03429-9

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-03429-9

Similar Items