Iteration Theories
Bloom, Stephen L., Esik, Zoltan
Produktnummer:
18c2d11b465dd04ba99e181c4b1dbb42c9
| Autor: | Bloom, Stephen L. Esik, Zoltan |
|---|---|
| Themengebiete: | Algebraische Semantik Fixed Point Theory Fixpunkttheorie Iteration Notation Programming Languages algorithms automata bisimulation computer science |
| Veröffentlichungsdatum: | 16.12.2011 |
| EAN: | 9783642780363 |
| Sprache: | Englisch |
| Seitenzahl: | 630 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | The Equational Logic of Iterative Processes |
Produktinformationen "Iteration Theories"
This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.
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