Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 februari 2002 |
| ISBN13 | 9781852333591 |
| Uitgevers | Springer London Ltd |
| Pagina's | 405 |
| Afmetingen | 155 × 235 × 21 mm · 589 g |
| Taal en grammatica | Engels |
| Uitgever | Dang Van, Hung |
| Uitgever | George, Chris |
| Uitgever | Janowski, Tomasz |
| Uitgever | Moore, Richard |