Tipsa dina vänner om produkten:
Formal Methods and Software Engineering 1st ed. 2018 edition
Pris
SEK 559
Beställningsvara
Förväntad leverans 3 - 11 jun
Lägg till din iMusic-önskelista
eller
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
474 pages, 115 Illustrations, black and white; XXII, 474 p. 115 illus.
| Media | Böcker Bok |
| Releasedatum | 11 oktober 2018 |
| ISBN13 | 9783030024499 |
| Utgivare | Springer Nature Switzerland AG |
| Antal sidor | 474 |
| Mått | 150 × 220 × 20 mm · 744 g |
| Språk | Tyska |
| Redaktör | Sun, Jing |
| Redaktör | Sun, Meng |
![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 (Inbunden 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-inbunden-bok&class=scaled&v=1778117433)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Inbunden 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-inbunden-bok&class=scaled&v=1778038948)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Inbunden 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-inbunden-bok&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 (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1774350673)
![Cover for Stanley J. Miklavcic · An Illustrative Guide to Multivariable and Vector Calculus (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1768947045)
