Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.
By: Corradini, Andrea.
Contributor(s): Montanari, Ugo | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 5486.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642034299.Subject(s): 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 FoundationsDDC classification: 005.1015113 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.