Verified Software: Theories, Tools, Experiments, Fachbücher von Jim Woodcock, Natarajan Shankar
Das Buch "Verified Software: Theories, Tools, Experiments" dokumentiert die Proceedings der zweiten Arbeitskonferenz zu verif... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer