Fortæl dine venner om denne vare:
Formal Methods Foundations and Applications 1st ed. 2018 edition
Pris
DKK 515
Bestilles fra fjernlager
Forventes klar til forsendelse 16. - 22. jun.
Tilføj til din iMusic ønskeseddel
eller
Formal Methods Foundations and Applications
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions.
271 pages, 52 Illustrations, black and white; X, 271 p. 52 illus.
| Medie | Bøger Bog |
| Udgivet | 24. oktober 2018 |
| ISBN13 | 9783030030438 |
| Forlag | Springer Nature Switzerland AG |
| Antal sider | 271 |
| Mål | 150 × 220 × 20 mm · 435 g |
| Sprog | Tysk |
| Klipper/redaktør | Massoni, Tiago |
| Klipper/redaktør | Mousavi, Mohammad Reza |
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/796/9783032088796.jpg?jacqueline-kennelly-2026-citizen-youth-culture-activism-and-agency-in-a-neoliberal-era-education-politics-and-public-life-hardcover-bog&class=scaled&v=1774523507)
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Paperback Bog) [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-paperback-bog&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 (Hardcover bog) [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-hardcover-bog&class=scaled&v=1778117433)
![Cover for Shimon P. Vingron · Logic Circuit Design: Selected Topics and Methods (Hardcover bog) [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-hardcover-bog&class=scaled&v=1775079513)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Hardcover bog) [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-hardcover-bog&class=scaled&v=1778038948)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Hardcover bog) [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-hardcover-bog&class=scaled&v=1761003881)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Hardcover bog) [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-hardcover-bog&class=scaled&v=1774415337)
![Cover for Mechanisms of Vascular Disease: A Textbook for Vascular Specialists (N/A) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing.png)