Computer aided verification
5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Livre Ecrit par: Courcoubetis, Costas ; International conference on computer-aided verification (05 ; 1993 ; Elounda, Grèce) ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
ix, 504 p. ill.
;24 cm
ISBN: 0387569227
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:
Logiciels
:Essais
:Actes de congrès
