Logic of Computation
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: | 9783642638329 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 403 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Schwichtenberg, Helmut |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 13.10.2012 |
| Schlagworte: | Typentheorie computer logic logic programming programming program specification program verification proof theory type theory verification |
Anmelden