Freunden von diesem Artikel berichten:
Verified Software Theories Tools and Experiments 1st ed. 2018 edition
Hast du ein Profil? Anmelden
Zu deiner iMusic Wunschliste hinzufügen
oder
Verified Software Theories Tools and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.
345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il
| Medien | Bücher Buch |
| Erscheinungsdatum | 24. November 2018 |
| ISBN13 | 9783030035914 |
| Verlag | Springer Nature Switzerland AG |
| Seitenanzahl | 345 |
| Maße | 150 × 220 × 20 mm · 552 g |
| Sprache | Deutsch |
| Redakteur | Piskac, Ruzica |
| Redakteur | Rummer, Philipp |
![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 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 Jurgen H. Gross · Mass Spectrometry: A Textbook (Gebundenes Buch) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-gebundenes-buch&class=scaled&v=1780453452)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1761003881)
