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 |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2003 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [Elektronische Ressource] |
| ISBN-13 | 9783540400073 |
| ISBN-10 | 3540400079 |
| OCLC | 723086987 |
| Serie | Lecture notes in computer science -- 2757 · Lecture notes in computer science -- 2757 |