Autorenfreundlich Bücher kaufen?!
Beschreibung
A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Details
| Verlag | Springer London |
| Ersterscheinung | September 2000 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 741 Gramm |
| Format | Softcover |
| ISBN-13 | 9781852332525 |
| Auflage | Softcover reprint of the original 1st ed. 2000 |
| Seiten | 461 |
Schlagwörter
Betriebssysteme, Computer Communication Networks, Computer System Implementation, Netzwerk-Hardware, Operating Systems, Processor Architectures, Rechnerarchitektur und Logik-Entwurf, Special Purpose and Application-Based Systems, Systemanalyse und -design, Theoretische Informatik, Theory of Computation, Wissensbasierte Systeme - Expertensysteme
Bekannt durch
