Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Logic of Computation | Helmut Schwichtenberg | The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, German… | OL19884508W |