Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Maura Cerioli
Themen in »Recent Trends in Algebraic Development Techniques«
Algebraic Specification Proof Systems Term Rewriting calculus formal specification modeling proof semantics
Stimmen zu »Recent Trends in Algebraic Development Techniques«
Details
ISBN: 9783540431596
Verlag: Springer Berlin
Erscheinung: 23.01.2002