38,95 €
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
19 °P sammeln
38,95 €
Als Download kaufen
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
19 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
38,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
19 °P sammeln
Andere Kunden interessierten sich auch für
![Formal Methods for Industrial Critical Systems (eBook, PDF)]( "Formal Methods for Industrial Critical Systems (eBook, PDF)")
Formal Methods for Industrial Critical Systems (eBook, PDF)38,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![NASA Formal Methods (eBook, PDF)]( "NASA Formal Methods (eBook, PDF)")
NASA Formal Methods (eBook, PDF)40,95 €![Fundamental Approaches to Software Engineering (eBook, PDF)]( "Fundamental Approaches to Software Engineering (eBook, PDF)")
Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €![Formal Methods for Industrial Critical Systems (eBook, PDF)]( "Formal Methods for Industrial Critical Systems (eBook, PDF)")
Formal Methods for Industrial Critical Systems (eBook, PDF)40,95 €![Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)]( "Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)")
Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)38,95 €
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.