Static Analysis

Angebote / Angebote:

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

110,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783662534120
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Rival, Xavier
Einband C, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Algorithms, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Formal Languages and Automata Theory, computer science, Computer logic, Programming languages (Electronic computers), Mathematical logic, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Mathematical theory of computation, Kartonierter Einband (Kt)
Sprache eng
Seiten 511
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Programming and Software Engineering
Publikationsjahr 2016

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.