Cover of Recent Trends in Algebraic Development Techniques

An edition of Recent Trends in Algebraic Development Techniques (2009)

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

By Andrea Corradini

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2009

Publisher

Springer Berlin Heidelberg

Language

eng

Pages

-

Description:

subjects: Logic design, Information theory, Symbolic and mathematical Logic, Computer science, Computer software, Congresses, Development, Mathematics, Abstract data types (Computer science), Algebraische Spezifikation, Kongress, Formale Spezifikationstechnik, Computer software, development