Powiedz znajomym o tym przedmiocie:
Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT) Henri Habrias Softcover reprint of the original 1st ed. 2001 edition
Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT)
Henri Habrias
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods.
282 pages, 7 black & white illustrations, biography
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 16 października 2000 |
| ISBN13 | 9781852333539 |
| Wydawcy | Springer London Ltd |
| Strony | 282 |
| Wymiary | 155 × 235 × 16 mm · 489 g |
| Język | Angielski |
| Redaktor | Frappier, Marc |
| Redaktor | Habrias, Henri |