Knihu momentálně nemáme skladem
Parametry
- 460 stránek
- 17 hodin čtení
Více o knize
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 vydání
- 1993
- Vazba
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Using Formal Description Techniques
- Podtitul
- An Introduction to ESTELLE, LOTOS and SDL
- Jazyk
- anglicky
- Autoři
- Kenneth J. Turner
- Vydavatel
- Wiley
- Rok vydání
- 1993
- Vazba
- měkká
- Počet stran
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Série
- Štítky
- Anotace
- 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.