Recent Trends in Algebraic Development Techniques
Subtitle: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
By: edited by Till Mossakowski, Hans-Jörg Kreowski
Contributors: Kreowski, Hans-Jörg; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7137
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642284120
Subjects: Mathematical Logic and Formal Languages; Symbolic and mathematical Logic; Information theory; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Theory of Computation; Mathematics of Computing; Mathematical Logic and Foundations