Bemærk: Kan ikke leveres før jul.
Forventes på lager: 01-07-1997
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.
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 01-07-1997 |
| Første udgivelsesår | 1997 |
| Serie | NATO ASI |
| Illustrationer | Illustrations |
| Fagredaktør | Helmut Schwichtenberg |
| Originalsprog | Germany |
| Sideantal | 401 |
| Indbinding | Hardback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 401 pages, Illustrations |
| ISBN-13 / EAN-13 | 9783540629634 |