Computer aided verification
fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992
Livre Ecrit par: Probst, D. K. (David Karl) ; Bochmann, Gregor V. ; CAV '92 (4th, Québec ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
1 vol. (IX-422 p.) ill.
;24 cm
ISBN: 0387564969
Index décimal
621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème
Informatique
Mots clés:
Débogage
Logiciels
:Essais
Commande automatique
