Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Jim Davies, Jeremy Gibbons |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540732105 |
| Número de Cutter | D256i |