Tell your friends about this item:
Logic of Computation - NATO ASI
Logic of Computation - NATO ASI
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 1, 1997 |
| ISBN13 | 9783540629634 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 401 |
| Dimensions | 150 × 220 × 20 mm · 757 g |
| Language | English |
| Editor | Schwichtenberg, Helmut |