Design And Validation Of Computer . . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1991 |
| Authors | Gerard J. Holzmann |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2078410 |
About Design And Validation Of Computer . . .
This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. . . .