Algebra and Coalgebra in Computer Science
| ISBN: | 9783540738572 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 463 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Haveraaen, Magne Montanari, Ugo Mossakowski, Till |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 09.08.2007 |
| Untertitel: | Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings |
| Schlagworte: | Bisimulation Computer Maude automata calculi formal methods formal testing graph logic higher order processes logic |