Recomienda este artículo a tus amigos:
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) H Dang Van 2002 edition
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT)
H Dang Van
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.
424 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de febrero de 2002 |
| ISBN13 | 9781852333591 |
| Editores | Springer London Ltd |
| Páginas | 405 |
| Dimensiones | 155 × 235 × 21 mm · 589 g |
| Lengua | Inglés |
| Editor | Dang Van, Hung |
| Editor | George, Chris |
| Editor | Janowski, Tomasz |
| Editor | Moore, Richard |