Titre : Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings


Warren A. Hunt (1958-)
Steven D. Johnson
FMCAD 2000 ; 2000 ; Austin, Tex.
International Conference on Formal Methods in Computer Aided Design : 3rd ; 2000 ; Austin, TX, USA
New York
Springer
2000
p. cm.
(Lecture notes in computer science ; 1954)

xx Ordinateurs-- Conception et construction
xx Circuits intégrés-- Vérification (épistémologie) -- Congrès
3-540-41219-0

Includes index.

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   AUS 00