Processes, Terms and Cycles: Steps on the Road to Infinity
Produktnummer:
181e29fc2b39374cb0aa146a9dd631a511
| Themengebiete: | Bisimulation Extension aspect-oriented programming behavior expression reduction finite equational bases graph transformation lambda calculus logic model theory |
|---|---|
| Veröffentlichungsdatum: | 13.12.2005 |
| EAN: | 9783540309116 |
| Sprache: | Englisch |
| Seitenzahl: | 642 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Middeldorp, Aart de Vrijer, Roel van Oostrom, Vincent van Raamsdonk, Femke |
| Verlag: | Springer Berlin |
| Untertitel: | Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday |
Produktinformationen "Processes, Terms and Cycles: Steps on the Road to Infinity"
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen