Fortell venner om denne varen:
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
Pris
NOK 529
Bestillingsvarer
Forventes levert 3. - 13. jul
Legg til iMusic ønskeliste
eller
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions.
291 pages, 79 Illustrations, black and white; XVI, 291 p. 79 illus.
| Media | Bøker Bok |
| Utgitt | 30. august 2018 |
| ISBN13 | 9783030002435 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 291 |
| Mål | 150 × 220 × 20 mm · 470 g |
| Språk | Tysk |
| Redaktør | Barnat, Jiri |
| Redaktør | Howar, Falk |
![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 (Pocketbok) [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 (Innbunden bok) [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-innbunden-bok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1778117433)
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774523507)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-innbunden-bok&class=scaled&v=1780453452)
![Cover for Han-Ill Yoo · Lectures on Kinetic Processes in Materials (Innbunden bok) [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-innbunden-bok&class=scaled&v=1768960294)
![Cover for Russell K. Hobbie · Intermediate Physics for Medicine and Biology (Innbunden bok) [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-innbunden-bok&class=scaled&v=1780442726)
![Cover for Mehdi Rahmani-Andebili · AC Electrical Circuit Analysis: Practice Problems, Methods, and Solutions (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774357157)