Kniha momentálne nie je na sklade
Parametre
- 460 stránok
- 17 hodin čítania
Viac o knihe
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.
Nákup knihy
Using Formal Description Techniques, Kenneth J. Turner
- Jazyk
- Rok vydania
- 1993
- Väzba
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Using Formal Description Techniques
- Podtitul
- An Introduction to ESTELLE, LOTOS and SDL
- Jazyk
- anglicky
- Autori
- Kenneth J. Turner
- Vydavateľ
- Wiley
- Rok vydania
- 1993
- Väzba
- mäkká
- Počet strán
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Série
- Štítky
- Anotácia
- 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.