Freunden von diesem Artikel berichten:
Automated Technology for Verification and Analysis 1st ed. 2018 edition
Hast du ein Profil? Anmelden
Zu deiner iMusic Wunschliste hinzufügen
oder
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.
| Medien | Bücher Buch |
| Erscheinungsdatum | 30. September 2018 |
| ISBN13 | 9783030010898 |
| Verlag | Springer Nature Switzerland AG |
| Seitenanzahl | 560 |
| Maße | 150 × 220 × 20 mm · 861 g |
| Sprache | Deutsch |
| Redakteur | Lahiri, Shuvendu K. |
| Redakteur | 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 (Taschenbuch) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Robert Sobot · Engineering Mathematics by Example: Vol. II: Calculus (Gebundenes Buch) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/956/9783032046956.jpg?robert-sobot-2027-engineering-mathematics-by-example-vol-ii-calculus-gebundenes-buch&class=scaled&v=1782149966)
![Cover for Natural Gas, Renewable Methan and E-Fuels for Powertrains: Monovalent and Dual-Fuel Combustion of Gaseous and Liquid Fuels—Future Strategies for Climate-Neutral Mobility - Powertrain (Gebundenes Buch) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/399/9783032056399.jpg?2027-natural-gas-renewable-methan-and-e-fuels-for-powertrains-monovalent-and-dual-fuel-combustion-of-gaseous-and-liquid-fuels-future-strategies-for-climate-neutral-mobility-powertrain-gebundenes-buch&class=scaled&v=1774922074)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1604147403)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Taschenbuch) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2026-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-taschenbuch&class=scaled&v=1780344601)
