Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de fevereiro de 2002 |
| ISBN13 | 9781852333591 |
| Editoras | Springer London Ltd |
| Páginas | 405 |
| Dimensões | 155 × 235 × 21 mm · 589 g |
| Idioma | Inglês |
| Editor | Dang Van, Hung |
| Editor | George, Chris |
| Editor | Janowski, Tomasz |
| Editor | Moore, Richard |