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: Foundations and Applications (eBook, PDF)]( "Formal Methods: Foundations and Applications (eBook, PDF)")
Formal Methods: Foundations and Applications (eBook, PDF)32,95 €![Engineering Trustworthy Software Systems (eBook, PDF)]( "Engineering Trustworthy Software Systems (eBook, PDF)")
Engineering Trustworthy Software Systems (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 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![Fundamentals of Software Engineering (eBook, PDF)]( "Fundamentals of Software Engineering (eBook, PDF)")
Fundamentals of Software Engineering (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 €
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.
The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
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.