Recent Trends in Algebraic Development Techniques
| ISBN: | 9783540719977 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 174 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Fiadeiro, José Luiz Schobbens, Pierre-Yves |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 24.04.2007 |
| Untertitel: | 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers |
| Schlagworte: | automated theorem proving calculi calculus cellular automata formal method formal methods formal testing graph transformation logic modal logic |