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