Het boek is momenteel niet op voorraad
Parameters
- 460bladzijden
- 17 uur lezen
Meer over het boek
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.
Een boek kopen
Using Formal Description Techniques, Kenneth J. Turner
- Taal
- Jaar van publicatie
- 1993
- Bindwijze
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- Using Formal Description Techniques
- Ondertitel
- An Introduction to ESTELLE, LOTOS and SDL
- Taal
- Engels
- Auteurs
- Kenneth J. Turner
- Uitgever
- Wiley
- Jaar van publicatie
- 1993
- Formaat
- Paperback
- Aantal pagina's
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Reeks
- Tags
- Aantekening
- 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.