Fortell venner om denne varen:
Verified Software Theories Tools and Experiments 1st ed. 2018 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 8. - 16. jun
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Bok |
| Utgitt | 24. november 2018 |
| ISBN13 | 9783030035914 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 345 |
| Mål | 150 × 220 × 20 mm · 552 g |
| Språk | Tysk |
| Redaktør | Piskac, Ruzica |
| Redaktør | Rummer, Philipp |
![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)
