Povedzte o tejto položke priateľom:
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 16. októbra 2000 |
| ISBN13 | 9781852333539 |
| Vydavatelia | Springer London Ltd |
| Strany | 282 |
| Rozmery | 155 × 235 × 16 mm · 489 g |
| Jazyk | Angličtina |
| Editor | Frappier, Marc |
| Editor | Habrias, Henri |