Le livre est actuellement en rupture de stock
Paramètres
- 460pages
- 17 heures de lecture
En savoir plus sur le livre
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.
Achat du livre
Using Formal Description Techniques, Kenneth J. Turner
- Langue
- Année de publication
- 1993
- Reliure
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Using Formal Description Techniques
- Sous-titre
- An Introduction to ESTELLE, LOTOS and SDL
- Langue
- Anglais
- Auteurs
- Kenneth J. Turner
- Éditeur
- Wiley
- Publié
- 1993
- Format
- souple
- Pages
- 460
- ISBN10
- 0471934550
- ISBN13
- 9780471934554
- Séries
- Mots clés
- 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.