Povedzte o tejto položke priateľom:
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édium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 08. februára 2002 |
| ISBN13 | 9781852333591 |
| Vydavatelia | Springer London Ltd |
| Strany | 405 |
| Rozmery | 155 × 235 × 21 mm · 589 g |
| Jazyk | Angličtina |
| Editor | Dang Van, Hung |
| Editor | George, Chris |
| Editor | Janowski, Tomasz |
| Editor | Moore, Richard |