Parallelitätsprüfung: Einführung in das kompositorische und nicht-kompositionelle Ich
374,36 €
Preface; Part I. Introduction and Overview: 1. Introduction; Part II. Introduction to compositional reasoning; 7. Hoare Logic: 9. A proof system for sequential programs using Hoare triples; 10. A Hoare logic for shared-variable concurrency; 11.
Jetzt bei Ebay:
