El libro está agotado actualmente
Parámetros
- 460 páginas
- 17 horas de lectura
Más información sobre el libro
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.
Compra de libros
Using Formal Description Techniques, Kenneth J. Turner
- Idioma
- Publicado en
- 1993
- Encuadernación
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Using Formal Description Techniques
- Subtítulo
- An Introduction to ESTELLE, LOTOS and SDL
- Idioma
- Inglés
- Autores
- Kenneth J. Turner
- Editorial
- Wiley
- Publicado en
- 1993
- Formato
- Tapa blanda
- Páginas
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Serie
- Etiquetas
- Descripción
- 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.