New Added

Computer aided verification : 11th International Conference, CAV’99, Trento, Italy, July 6-10, 1999 , proceedings

Like Score+393

Computer aided verification : 11th International Conference, CAV’99, Trento, Italy, July 6-10, 1999 , proceedings
Original Title Computer aided verification : 11th International Conference, CAV’99, Trento, Italy, July 6-10, 1999 , proceedings
Author CAV’99. Conference (1999 : Trento, Italy), Halbwachs, Nicolas, Peled, Doron A., 1962-
Publication date

Topics 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
Publisher Berlin , London : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Author:
Published by
ISBN:
DOI:

Table of Contents:

Includes bibliographical references and index

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0