Items related to Programming Methodology
Synopsis
(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]
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
