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 J
Jean-Christophe Filliatre

Número de Cutter-SanbornF486Entrada de tabla «Filli»

Jean-Christophe Filliatre

· 2 obras en el catálogo

Obras

TTypes for Proofs and Programs

Types for Proofs and Programs

PProceedings of the 4th ACM SIGPLAN Workshop on Programming L

Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification

Jean-Christophe Filliatre — obras y número de Cutter | Cutter Number