Preisvergleich / Suche / Wohnen / Büro / Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi
Thumbnail - Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die Proceedings der 5. Internationalen Konf... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Produktdetails

Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die Proceedings der 5. Internationalen Konferenz zu den Themen Verifikation, Modellprüfung und abstrakte Interpretation (VMCAI 2004), die vom 11. bis 13. Januar 2004 in Venedig stattfand. Diese Konferenz vereinte Forscher aus den Bereichen Verifikation, Modellprüfung und abstrakte Interpretation, um den Austausch und die Weiterentwicklung hybrider Methoden zu fördern, die diese drei Disziplinen kombinieren. Angesichts der zunehmenden Notwendigkeit formaler Werkzeuge zur Analyse komplexer, unendlicher und eingebetteter Systeme sind solche hybriden Ansätze von grosser Bedeutung. Die behandelten Themen umfassen unter anderem Programmverifikation, statische Analysetechniken, Modellprüfung, Programmzertifizierung, Typsysteme, abstrakte Domänen, Debugging-Techniken, Compileroptimierung, eingebettete Systeme und die formale Analyse von Sicherheitsprotokollen. Die Konferenz bot eine Plattform für den Austausch von Ideen und die Präsentation von Forschungsergebnissen, die für die Weiterentwicklung dieser wichtigen Bereiche entscheidend sind.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer