Recent Trends in Algebraic Development Techniques
Subtitle: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
By: edited by Andrea Corradini, Ugo Montanari
Contributors: Montanari, Ugo; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5486
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642034282; 9783642034299
Subjects: Logic design; Information theory; Symbolic and mathematical Logic; Computer science