Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann
53,49 €
Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die refereed Proceedings der 17. Internationalen Konferenz zu den Themen Verifikation, Modellprüfung und abstrakte Interpretation, die im Januar 2016 in St. Petersburg, Florida, USA, stattfand. Es umfasst 24 vollständige Beiträge, die aus 67 eingereichten Arbeiten sorgfältig ausgewählt wurden, sowie zwei eingeladene Vorträge und eine Zusammenfassung. Die Konferenz behandelt eine Vielzahl von Themen, die für Fachleute im Bereich der Informatik von Bedeutung sind, darunter Programmverifikation, Modellprüfung, abstrakte Interpretation und abstrakte Domänen. Die behandelten Themen sind für die Weiterentwicklung von Techniken zur statischen Analyse, Programmsynthese und Optimierung von entscheidender Bedeutung und bieten wertvolle Einblicke in moderne Ansätze zur Programmzertifizierung und Debugging-Techniken.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
