Mathematics of Program Construction
| ISBN: | 9783642133206 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 427 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bolduc, Claude Desharnais, Jules Ktari, Bechir |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 01.06.2010 |
| Untertitel: | 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings |
| Schlagworte: | CSP automated program construction automated program verification correctness correct software dynamic programming formal methods garbage collection generic programming kleene algebra |