Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Martin Wirsing
Themen in »Recent Trends in Algebraic Development Techniques«
Multimedia UML Unified Modeling Language (UML) algebraic methods algebraic program development calculus co-algebraic methods component systems formal method petri net software architecture specification languages system development systems development term rewriting
Stimmen zu »Recent Trends in Algebraic Development Techniques«
Details
ISBN: 9783540400202
Verlag: Springer Berlin
Erscheinung: 24.11.2003