Recent Trends in Algebraic Development Techniques
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
José Luiz Fiadeiro
Themen in »Recent Trends in Algebraic Development Techniques«
automated theorem proving calculi calculus cellular automata formal method formal methods formal testing graph transformation logic modal logic modeling process algebra semantics system development theorem proving
Stimmen zu »Recent Trends in Algebraic Development Techniques«
Details
ISBN: 9783540719977
Verlag: Springer Berlin
Erscheinung: 24.04.2007