FME 2001 : Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Edición de la obra FME 2001 : Formal Methods for Increasing Software Productivity
| Autor | Jose N. Oliveira, Pamela Zave |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540452515 |
| Número de Cutter | O48f |