Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Static Analysis

Número de Cutter-SanbornL832sEntrada «Loge» → 832 · marca de obra “s”

Static Analysis

de Francesco Logozzo, Manuel Fähndrich

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including 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.

Materias

Computer programming
Programming languages (electronic computers)
Multivariate analysis
Software engineering
Computer science
Logic design
Logics and Meanings of Programs

Static Analysis — Francesco Logozzo, Manuel Fähndrich | Cutter Number

Programming Languages, Compilers, Interpreters

Mathematical Logic and Formal Languages

Programming Techniques

Ediciones (3)

Static Analysis (2013)
Springer · ISBN 9783642388552
Static Analysis (2013)
Springer · ISBN 9783642388576
Static Analysis (2013)
Springer London, Limited · inglés · ISBN 9783642388569

Más obras de Francesco Logozzo

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ver todas las obras de Francesco Logozzo →