Software Engineering and Formal Methods (eBook, PDF)
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Redaktion: De Nicola, Rocco; Kühn, Eva
Alle Infos zum eBook verschenken
Software Engineering and Formal Methods (eBook, PDF)
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Redaktion: De Nicola, Rocco; Kühn, Eva
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 15.62MB
- Fundamentals of Software Engineering (eBook, PDF)40,95 €
- Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €
- Automated Technology for Verification and Analysis (eBook, PDF)40,95 €
- Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)38,95 €
- Engineering Trustworthy Software Systems (eBook, PDF)40,95 €
- Modelling Foundations and Applications (eBook, PDF)32,95 €
- Formal Methods: Foundations and Applications (eBook, PDF)32,95 €
-
-
-
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.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 419
- Erscheinungstermin: 22. Juni 2016
- Englisch
- ISBN-13: 9783319415918
- Artikelnr.: 46924783
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 419
- Erscheinungstermin: 22. Juni 2016
- Englisch
- ISBN-13: 9783319415918
- Artikelnr.: 46924783