Ebook: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Author: Reiko Heckel Sebastian Thöne (auth.) José Luiz Fiadeiro Peter D. Mosses Fernando Orejas (eds.)
- Tags: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Symbolic and Algebraic Manipulation
- Series: Lecture Notes in Computer Science 3423 Theoretical Computer Science and General Issues
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.
The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.
Download the book Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)