| Description |
xvii, 469 pages ; 24 cm |
| Series |
Monographs in computer science |
|
Monographs in computer science.
|
| Contents |
Machine derived contents note: (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] |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Computer programming.
|
| Author |
Morgan, Carroll, 1952-
|
|
McIver, Annabelle.
|
| LC no. |
2002017377 |
| ISBN |
0387953493 alkaline paper |
|
