Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6 10, 1999 ; proceedi
Author: CAV'99. Conference (1999 : Trento, Italy), Halbwachs, Nicolas, Peled, Doron A., 1962-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer software, Integrated circuits, automate, logique temporelle, vérification matériel, testabilité, méthode vérification, vérification automatique, Logiciels, Méthodes formelles (Informatique), Computer software, Integrated circuits, Verificatie, Software, Verifikation, Engenharia de programacao (software), Logiciels, Circuits intégrés, Kongreß, Verifikation
Publishers: Berlin ; London : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540662022, 9783540662020
Pages Count: 600
PPI Count: 600
PDF Count: 1
Total Size: 567.66 MB
PDF Size: 28.4 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, mrc
Downloads: 445
No Views statistics available.
Total Files: 16
Media Type: texts
No files available for download.
Description
Author:
Published by
ISBN:
DOI:
Table of Contents:
Includes bibliographical references and index