Formal methods at the crossroads
from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Edición de la obra Formal methods at the crossroads
| Autor | Bernhard K. Aichernig, Tom Maibaum |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 2003 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 453 |
| ISBN-10 | 3540205276 |
| OCLC | 53796797 |
| LCCN | 2003065503 |