Fortæl dine venner om denne vare:
Automated Technology for Verification and Analysis 1st ed. 2018 edition
Pris
DKK 449
Bestilles fra fjernlager
Forventes klar til forsendelse 20. - 26. okt.
Tilføj til din iMusic ønskeseddel
eller
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.
560 pages, 133 Illustrations, black and white; XIII, 560 p. 133 illus.
| Medie | Bøger Bog |
| Udgivet | 30. september 2018 |
| ISBN13 | 9783030010898 |
| Forlag | Springer Nature Switzerland AG |
| Antal sider | 560 |
| Mål | 150 × 220 × 20 mm · 861 g |
| Sprog | Tysk |
| Klipper/redaktør | Lahiri, Shuvendu K. |
| Klipper/redaktør | Wang, Chao |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Bog) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover bog) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-bog&class=scaled&v=1778118707)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover bog) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-bog&class=scaled&v=1604147403)
![Cover for Joseph F. Hair Jr. · Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R: A Workbook - Classroom Companion: Business (Hardcover bog) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/214/9783032283214.jpg?joseph-f-hair-jr-2027-partial-least-squares-structural-equation-modeling-pls-sem-using-r-a-workbook-classroom-companion-business-hardcover-bog&class=scaled&v=1780320212)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Paperback Bog) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2027-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1780344601)
