-
Reflections on the Work of C.A.R. Hoare
EbookSofort lieferbarThousands of different programming languages ex...
-
The Living History Anthology
EbookSofort lieferbarProduced in partnership with the Association fo...
-
Dependable and Historic Computing
EbookSofort lieferbarThis Festschrift volume, published in honor of ...
-
Methods, Models and Tools for Fault Tolerance
EbookSofort lieferbarThe growing complexity of modern software syste...
-
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
EbookSofort lieferbarThis book breaks new ground by presenting an in...
-
Symposium on Real-Time and Hybrid Systems
EbookSofort lieferbarThis volume is published in honor of Professor ...
-
Rigorous Development of Complex Fault-Tolerant Systems
EbookSofort lieferbarThis book brings together 19 papers focusing on...
-
-
Communicating Sequential Processes. The First 25 Years
EbookSofort lieferbarThis volume, like the symposium CSP25 which gav...
-
Formal Methods and Hybrid Real-Time Systems
EbookSofort lieferbarThis Festschrift volume is published to honour ...
-
-
The Living History Anthology
EbookSofort lieferbarProduced in partnership with the Association fo...
Folgen Sie uns auf:
