Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners. This tutorial contains selected papers from the LASER summer…
Mehr
CHF 93.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-642-13010-6
- EAN: 9783642130106
- Produktnummer: 33314197
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 189 S.
- Plattform: PDF
- Masse: 3'777 KB
- Auflage: 2010
- Abbildungen: 99 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6029
40 weitere Werke von Peter (Hrsg.) Müller:
Frontiers of Statistical Decision Making and Bayesian Analysis
LASER Summer School 2007/2008
LASER Summer School 2007/2008
Ebook (PDF Format)
CHF 124.00
Verified Software: Theories, Tools, Experiments
LASER Summer School 2007/2008
LASER Summer School 2007/2008
Ebook (PDF Format)
CHF 71.00
Glaube und Lernen Heft 01/2013 Themenheft Abraham
LASER Summer School 2007/2008
LASER Summer School 2007/2008
Ebook (PDF Format)
CHF 31.00
Klangkultur und musikalische Interpretation
LASER Summer School 2007/2008
LASER Summer School 2007/2008
Ebook (PDF Format)
CHF 63.15
Nonparametric Bayesian Inference in Biostatistics
LASER Summer School 2007/2008
LASER Summer School 2007/2008
Ebook (PDF Format)
CHF 107.00
Bewertungen
Anmelden