Algebraic Informatics
| ISBN: | 9783540754138 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 289 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bozapalidis, Symeon Rahonis, George |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 14.12.2007 |
| Untertitel: | Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers |
| Schlagworte: | Processing algebra algebraic specification algebraic verification automata calculi context-free grammars deterministic learning formal methods formal testing |