Le problème de la vérification du logiciel est devenu un enjeu important sur le plan économique. Or il existe diverses techniques pour vérifier tout ou partie des logiciels critiques pour lesquels la correction doit être garantie. Ce livre s'intéresse ici à la technique du model-checking, utilisé dans des domaines très variés : protocoles de communication, circuits intégrés... ©Electre 2025
Paru le : 10/05/1999
Thématique : Informatique d'entreprise
Auteur(s) : Non précisé.
Éditeur(s) :
Vuibert
Collection(s) : Vuibert informatique
Contributeur(s) : Editeur scientifique (ou intellectuel) : Philippe Schnoebelen - Collaborateur : Béatrice Bérard - Collaborateur : - Collaborateur : - Collaborateur :
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782711786466
Reliure : Broché
Pages : 304
Hauteur: 24.0 cm / Largeur 17.0 cm
Poids: 384 g
Carte fidélité
Mollat Radio
