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
Computer Aided Verification

CComputer Aided Verification

Número de Cutter-SanbornS559cEntrada «Sho» → 559 · marca de obra “c”

Computer Aided Verification

de Sharon Shoham, Yakir Vizel

Ediciones (2)

Computer Aided Verification (2022)
Springer International Publishing AG · inglés · ISBN 9783031131875
Computer Aided Verification (2022)
Springer International Publishing AG · inglés · ISBN 9783031131844

Más obras de Sharon Shoham

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ver todas las obras de Sharon Shoham →

Computer Aided Verification — Sharon Shoham, Yakir Vizel | Cutter Number