Verified Software: Theories, Tools, Experiments, Fachbücher von Jim Woodcock, Natarajan Shankar
53,49 €
Das Buch "Verified Software: Theories, Tools, Experiments" dokumentiert die Proceedings der zweiten Arbeitskonferenz zu verifiziertem Software-Engineering, die im Oktober 2008 in Toronto, Kanada, stattfand. Es umfasst 16 sorgfältig überarbeitete und ausgewählte Beiträge sowie 4 eingeladene Vorträge, die sich mit den wissenschaftlichen Herausforderungen der grossangelegten Softwareverifikation befassen. Diese Konferenz markiert den offiziellen Beginn der Verified Software Initiative (VSI), einem internationalen Projekt, das sich über einen Zeitraum von fünfzehn Jahren erstreckt. Die Initiative zielt darauf ab, die Interoperabilität von Werkzeugen zu fördern, Theorie und Praxis in Einklang zu bringen, herausfordernde Probleme zu identifizieren, Benchmark-Suiten zu erstellen und grossangelegte Experimente durchzuführen. Das Buch richtet sich an Fachleute und Forscher, die sich mit den neuesten Entwicklungen und Methoden in der Softwareverifikation beschäftigen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
