Deterministic and Non-Deterministic Mechanisms
Seiten
2019
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-529-0 (ISBN)
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-529-0 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
A review of automatic mechanisms, studying the relationship between their deterministic and their non-deterministic versions, is the focus of this book, along with the study of what non-determinism brings and how to harness it. Non-determinism has been seen as something to be avoided, yet it plays a crucial role in the construction of large and small software. From Finite Automata to Turing machines, different types of automatic mechanism have a deterministic and a non-deterministic definition. The deterministic version can be implemented directly, but the non-deterministic version brings a specific advantage. The B method shows how to develop software from a non-deterministic specification to an implementable deterministic version.
| Erscheint lt. Verlag | 4.1.2019 |
|---|---|
| Reihe/Serie | Focus |
| Verlagsort | London |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| ISBN-10 | 1-84821-529-0 / 1848215290 |
| ISBN-13 | 978-1-84821-529-0 / 9781848215290 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Entwurfsmuster für effektive Softwareentwicklung
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 27,95
Praxishandbuch für Java- und Webservice-Entwickler
Buch | Softcover (2025)
dpunkt (Verlag)
CHF 62,85
