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
Autores con S
Sandrine Blazy

Número de Cutter-SanbornB645Entrada de tabla «Blau»

Sandrine Blazy

· 5 obras en el catálogo

Obras

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

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

SStatic Analysis

Static Analysis

VVerified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

IInteractive Theorem Proving

Interactive Theorem Proving

Sandrine Blazy — obras y número de Cutter | Cutter Number