The book is currently out of stock
Parameters
- 460 pages
- 17 hours of reading
More about the book
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.
Book purchase
Using Formal Description Techniques, Kenneth J. Turner
- Language
- Released
- 1993
- Binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Using Formal Description Techniques
- Subtitle
- An Introduction to ESTELLE, LOTOS and SDL
- Language
- English
- Authors
- Kenneth J. Turner
- Publisher
- Wiley
- Released
- 1993
- Format
- Paperback
- Pages
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Series
- Tags
- Description
- 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.