cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

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

SStatic Analysis

Número de Cutter-SanbornB645sEntrada «Blau» → 645 · marca de obra “s”

Static Analysis

de Sandrine Blazy, Thomas Jensen

Materias

Computer programming
Programming languages (electronic computers)

Ediciones (2)

Static Analysis (2015)
Springer London, Limited · inglés · ISBN 9783662482889
Static Analysis (2015)
Springer Berlin / Heidelberg · inglés · ISBN 9783662482872

Más obras de Sandrine Blazy

Tapa de Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Static Analysis — Sandrine Blazy, Thomas Jensen | Cutter Number

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Tapa de Program Logics for Certified Compilers

Program Logics for Certified Compilers

VVerified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

IInteractive Theorem Proving

Interactive Theorem Proving

Ver todas las obras de Sandrine Blazy →