Vérification de logiciels : techniques et outils du model-checking

Spremljeno u:
Bibliografski detalji
Glavni autori: Bérard, Béatrice, 19..-...., professeure en informatique, Bidoit, Michel, 1957- (Autor), Laroussinie, François, 19..-...., auteur en informatique (Autor)
Daljnji autori: Schnoebelen, Philippe, 19..-...., auteur en informatique (Voditelj izdanja), Cécé, Gérard, 19..- (Suradnik), Dufourd, Catherine, 19..- (Suradnik), Finkel, Alain, 1958- (Suradnik), Petrucci, Laure, 19..- (Suradnik), Sutre, Grégoire, 1975- (Suradnik)
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

Detalji primjeraka od INSA CVL Bourges
  Lokacija Signatura Type de prêt Status
Informatique 005.1 VER Empruntable Dostupno
Informatique 005.1 VER Empruntable Dostupno