Vinkkaa tuotetta kavereillesi:
Formal Methods Foundations and Applications 1st ed. 2018 edition
Hinta
€ 62,49
Tilattu etävarastosta
Arvioitu toimitus ke - to 3. - 11. kesä
Lisää iMusic-toivelistallesi
tai
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.
| Media | Kirjat Book |
| Julkaisupäivämäärä | keskiviikko 24. lokakuuta 2018 |
| ISBN13 | 9783030030438 |
| Tuottaja | Springer Nature Switzerland AG |
| Sivujen määrä | 271 |
| Mitta | 150 × 220 × 20 mm · 435 g |
| Kieli | Saksa |
| Toimittaja | Massoni, Tiago |
| Toimittaja | Mousavi, Mohammad Reza |
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Paperback Book) [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-book&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 Book) [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-book&class=scaled&v=1778117433)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Hardcover Book) [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-book&class=scaled&v=1778038948)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Hardcover Book) [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-book&class=scaled&v=1774415337)
![Cover for Joachim Stohr · The Nature of X-Rays and Their Interactions with Matter—Volume II: Beyond Semi-Classical Concepts - Springer Tracts in Modern Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/335/9783032076335.jpg?joachim-stohr-2026-the-nature-of-x-rays-and-their-interactions-with-matter-volume-ii-beyond-semi-classical-concepts-springer-tracts-in-modern-physics-hardcover-book&class=scaled&v=1774350673)
![Cover for Stanley J. Miklavcic · An Illustrative Guide to Multivariable and Vector Calculus (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/177/9783032126177.jpg?stanley-j-miklavcic-2026-an-illustrative-guide-to-multivariable-and-vector-calculus-hardcover-book&class=scaled&v=1768947045)
