Logic of Computation
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997
100,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783540629634
- ISBN-10
- 3540629637
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 1997
- Publication date
- 1997-07-01
- Pages
- 401