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
New Directions in Symbolic Model Checking

Tapa de New Directions in Symbolic Model Checking

Número de Cutter-SanbornN532Entrada «New» → 532

New Directions in Symbolic Model Checking

de Julien D'Orso

Ediciones (1)

New Directions in Symbolic Model Checking (2003)
Uppsala Universitet · inglés · ISBN 9789155457815

New Directions in Symbolic Model Checking — Julien D'Orso | Cutter Number