Programming Methodology
119.12 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10197724
Beschreibung
(parts and sections listed)Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior]Part II: Programming techniques [object orientation, type theory]Part III: Applications and automated theories[putting theories into practice by automation, programming circuits, security and keeping secrets]
Eigenschaften
Gewicht: | 796 g |
Höhe: | 245 |
Seiten: | 470 |
Sprachen: | Englisch |
Autor: | Annabelle McIver, Carroll Morgan |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen