Fortell venner om denne varen:
Automated Technology for Verification and Analysis 1st ed. 2018 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 10. - 18. jun
Legg til iMusic ønskeliste
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.
| Media | Bøker Bok |
| Utgitt | 30. september 2018 |
| ISBN13 | 9783030010898 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 560 |
| Mål | 150 × 220 × 20 mm · 861 g |
| Språk | Tysk |
| Redaktør | Lahiri, Shuvendu K. |
| Redaktør | Wang, Chao |
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Pocketbok) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/422/9783030806422.jpg?breit-dominic-dr-2026-a-course-on-function-spaces-i-continuous-and-integrable-functions-universitext-pocketbok&class=scaled&v=1716780093)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2026-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-innbunden-bok&class=scaled&v=1778117433)
![Cover for Shimon P. Vingron · Logic Circuit Design: Selected Topics and Methods (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/528/9783032212528.jpg?shimon-p-vingron-2026-logic-circuit-design-selected-topics-and-methods-innbunden-bok&class=scaled&v=1775079513)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/588/9783032005588.jpg?oeyvind-groen-2026-einstein-s-general-theory-of-relativity-with-modern-applications-in-cosmology-graduate-texts-in-physics-innbunden-bok&class=scaled&v=1778038948)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/938/9783032130938.jpg?ke-lin-du-2026-wireless-communication-systems-from-fundamentals-to-6g-signals-and-communication-technology-innbunden-bok&class=scaled&v=1774415337)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/898/9783032074898.jpg?mehdi-rahmani-andebili-2026-advanced-electrical-circuits-analysis-practice-problems-methods-and-solutions-innbunden-bok&class=scaled&v=1761003881)
