Freunden von diesem Artikel berichten:
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
Preis
€ 51,49
Bestellware
Lieferdatum: ca. 23. Okt - 2. Nov
Zu deiner iMusic Wunschliste hinzufügen
oder
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.
| Medien | Bücher Buch |
| Erscheinungsdatum | 30. August 2018 |
| ISBN13 | 9783030002435 |
| Verlag | Springer Nature Switzerland AG |
| Seitenanzahl | 291 |
| Maße | 150 × 220 × 20 mm · 470 g |
| Sprache | Deutsch |
| Redakteur | Barnat, Jiri |
| Redakteur | 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 (Taschenbuch) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Gebundenes Buch) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-gebundenes-buch&class=scaled&v=1778118707)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1604147403)
![Cover for Armen Gulian · Shortcut to Superconductivity: Superconducting Electronics via COMSOL Modeling (Gebundenes Buch) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/297/9783032255297.jpg?armen-gulian-2027-shortcut-to-superconductivity-superconducting-electronics-via-comsol-modeling-gebundenes-buch&class=scaled&v=1780400084)
![Cover for Joseph F. Hair Jr. · Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R: A Workbook - Classroom Companion: Business (Gebundenes Buch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/214/9783032283214.jpg?joseph-f-hair-jr-2027-partial-least-squares-structural-equation-modeling-pls-sem-using-r-a-workbook-classroom-companion-business-gebundenes-buch&class=scaled&v=1780320212)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Taschenbuch) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2027-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-taschenbuch&class=scaled&v=1780344601)
![Cover for Handbook of Exoplanets (Gebundenes Buch) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/552/9783032068552.jpg?2027-handbook-of-exoplanets-gebundenes-buch&class=scaled&v=1780328218)
