Powiedz znajomym o tym przedmiocie:
Formal Methods and Software Engineering 1st ed. 2018 edition
Cena
zł 213,90
Zamówione z odległego magazynu
Przewidywana dostawa 12 - 22 cze
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 | Książki Book |
| Wydane | 11 października 2018 |
| ISBN13 | 9783030024499 |
| Wydawcy | Springer Nature Switzerland AG |
| Strony | 474 |
| Wymiary | 150 × 220 × 20 mm · 744 g |
| Język | Niemiecki |
| Redaktor | Sun, Jing |
| Redaktor | Sun, Meng |
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Hardcover Book) [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-book&class=scaled&v=1774523507)
![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 Shimon P. Vingron · Logic Circuit Design: Selected Topics and Methods (Hardcover Book) [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-book&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 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 Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Hardcover Book) [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-book&class=scaled&v=1761003881)
![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 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)