Automated Technology for Verification and Analysis (eBook, PDF)
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Redaktion: Graf, Susanne; Zhang, Wenhui
Alle Infos zum eBook verschenken
Automated Technology for Verification and Analysis (eBook, PDF)
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Redaktion: Graf, Susanne; Zhang, Wenhui
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.
The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 6.5MB
- Automated Technology for Verification and Analysis (eBook, PDF)40,95 €
- Automated Technology for Verification and Analysis (eBook, PDF)40,95 €
- Automated Technology for Verification and Analysis (eBook, PDF)73,95 €
- Formal Methods in Computer-Aided Design (eBook, PDF)40,95 €
- Formal Methods in Computer-Aided Design (eBook, PDF)40,95 €
- J. C. GeffroyDesign of Dependable Computing Systems (eBook, PDF)40,95 €
- Formal Methods in Computer-Aided Design (eBook, PDF)73,95 €
-
-
-
The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 546
- Erscheinungstermin: 11. Oktober 2006
- Englisch
- ISBN-13: 9783540472384
- Artikelnr.: 44129531
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 546
- Erscheinungstermin: 11. Oktober 2006
- Englisch
- ISBN-13: 9783540472384
- Artikelnr.: 44129531