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 |
1999 |
| 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 | |
| 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 |
|
