Vérification de logiciels : techniques et outils du model-checking
Spremljeno u:
| Glavni autori: | , , |
|---|---|
| Daljnji autori: | , , , , , |
| Format: | Livre papier |
| Jezik: | Français |
| Izdano: |
Paris :
Vuibert
DL 1999.
|
| Serija: | Vuibert informatique
|
| Teme: | |
| Bilješka: |
Autres contributions : Laure Petrucci, Grégoire Sutre |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Lokacija | Signatura | Type de prêt | Status | |
|---|---|---|---|---|
| Informatique | 005.1 VER | Dostupno | ||
| Informatique | 005.1 VER | Dostupno |

