Sinossi
(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]
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
