Concurrency Verification: Introduction to Compositional and Non-Compositional Me
88,89 €
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:
