Obecnie nie mamy tej książki w magazynie
Parametry
- 460 stron
- 17 godzin czytania
Więcej o książce
Deliberately non-mathematical, this user-friendly tutorial contains extensive introductory information on formal methods and the three Formal Description Techniques (FDTs). Easy-to-follow instructions demonstrate how to develop specifications and implementations using FDTs. Features valuable material on existing tools and gives references to publications, workshops, conferences and symposia where you can obtain the latest information on FDTs, their applications and tools. Copiously illustrated with examples.
Zakup książki
Using Formal Description Techniques, Kenneth J. Turner
- Język
- Rok wydania
- 1993
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Using Formal Description Techniques
- Podtytuł
- An Introduction to ESTELLE, LOTOS and SDL
- Język
- angielski
- Autorzy
- Kenneth J. Turner
- Wydawca
- WILEY
- Rok wydania
- 1993
- Oprawa
- miękka
- Liczba stron
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Seria
- Tagi
- Opis
- Deliberately non-mathematical, this user-friendly tutorial contains extensive introductory information on formal methods and the three Formal Description Techniques (FDTs). Easy-to-follow instructions demonstrate how to develop specifications and implementations using FDTs. Features valuable material on existing tools and gives references to publications, workshops, conferences and symposia where you can obtain the latest information on FDTs, their applications and tools. Copiously illustrated with examples.