Powiedz znajomym o tym przedmiocie:
Formal Methods Foundations and Applications 1st ed. 2018 edition
Cena
zł 243,90
Zamówione z odległego magazynu
Przewidywana dostawa 9 - 17 lip
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 | Książki Book |
| Wydane | 24 października 2018 |
| ISBN13 | 9783030030438 |
| Wydawcy | Springer Nature Switzerland AG |
| Strony | 271 |
| Wymiary | 150 × 220 × 20 mm · 435 g |
| Język | Niemiecki |
| Redaktor | Massoni, Tiago |
| Redaktor | Mousavi, Mohammad Reza |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover Book) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-book&class=scaled&v=1604147403)
![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] (2027)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2027-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-hardcover-book&class=scaled&v=1778117433)
![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 Jurgen H. Gross · Mass Spectrometry: A Textbook (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-hardcover-book&class=scaled&v=1780453452)
![Cover for Han-Ill Yoo · Lectures on Kinetic Processes in Materials (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/302/9783032054302.jpg?han-ill-yoo-2026-lectures-on-kinetic-processes-in-materials-hardcover-book&class=scaled&v=1768960294)
![Cover for Russell K. Hobbie · Intermediate Physics for Medicine and Biology (Hardcover Book) [Sixth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/216/9783032263216.jpg?russell-k-hobbie-2026-intermediate-physics-for-medicine-and-biology-hardcover-book&class=scaled&v=1780442726)
![Cover for Mehdi Rahmani-Andebili · AC Electrical Circuit Analysis: Practice Problems, Methods, and Solutions (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/839/9783032057839.jpg?mehdi-rahmani-andebili-2026-ac-electrical-circuit-analysis-practice-problems-methods-and-solutions-hardcover-book&class=scaled&v=1774357157)