Recent Trends in Algebraic Development Techniques
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
José Luiz Fiadeiro
Themen in »Recent Trends in Algebraic Development Techniques«
CASL UML algebraic methods algebraic program development algebraic specifications ambient calculus architectural specifications co-algebraic methods design formal method formal specification modeling polymorphism software architecture system development
Stimmen zu »Recent Trends in Algebraic Development Techniques«
Details
ISBN: 9783540319597
Verlag: Springer Berlin
Erscheinung: 26.02.2005