Titre : Computer aided verificationproceedings : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999

CAV'99

Nicolas Halbwachs
Doron Peled (1962-)
CAV'99. Conference : 11th ; 1999 ; Trento, Italy
Berlin London
Springer
c1999
xii, 506 p. : ill. ; 24 cm
(Lecture notes in computer science, 0302-9743 ; 1633)

xx Logiciels-- Essais -- Congrès
xx Circuits intégrés-- Essais -- Congrès
3-540-66202-2

Includes bibliographies and index.

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   TRE 99