Inhaltsangabe
(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]
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
