Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Didier Bert
Themen in »Recent Trends in Algebraic Development Techniques«
Abstract Data Types Algebraic Program Development Algebraic Systems Specification Formal Methods Formal Specification Proof Systems Specification Frameworks Term Rewriting Turing logic validation
Stimmen zu »Recent Trends in Algebraic Development Techniques«
Details
ISBN: 9783540446163
Verlag: Springer Berlin
Erscheinung: 02.02.2004