Unifying Theories of Programming
First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
| ISBN: | 9783540347507 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 264 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dunne, Steve Stoddart, Bill |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 27.06.2006 |
| Untertitel: | First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers |
| Schlagworte: | CCS CSP Reversible Computing Z methodology object-orientation programming programming theory reactive design real-time real-time programming |
Anmelden