Nantilus
Vérification de logiciels : techniques et outils du model-checking
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Vérification de logiciels : techniques et outils du model-checking / Béatrice Bérard, Michel Bidoit, François Laroussinie... [et al.]; avec la collab. de Gérard Cécé, Catherine Dufourd, Alain Finkel... [et al.]; coordination, Philippe Schnoebelen |
| Publié : |
Paris :
Vuibert
, 1999 |
| Description matérielle : | XV-197 p. |
| Collection : | Vuibert informatique |
| Titre de l'ensemble : | Vuibert informatique |
| Sujets : |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bibliothèque | 681.3 A05 VER | Empruntable | Disponible |