Powiedz znajomym o tym przedmiocie:
Formal Engineering for Industrial Software Development: Using the Sofl Method Shaoying Liu
Formal Engineering for Industrial Software Development: Using the Sofl Method
Shaoying Liu
Liu advocates incorporation of mathematical notation into the software engineering process, thus substantially improving rigour, comprehensibility & effectiveness of methods commonly used in industry. Provides an introduction to the SOFL (Structured Object- Oriented Formal Language) method. Exercises and case study.
436 pages, 30 colour tables, biography
| Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
| Wydane | 13 kwietnia 2004 |
| ISBN13 | 9783540206026 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 408 |
| Wymiary | 240 × 164 × 30 mm · 748 g |
| Język | Francuski |