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
Verification

Tapa de Verification

Número de Cutter-SanbornD438vEntrada «Derr» → 438 · marca de obra “v”

Verification

de Nachum Dershowitz · Publicada por primera vez en 2004

Materias

Verification
Computer software

Ediciones (1)

Verification (2004)
Springer · inglés · ISBN 9783540210023

Más obras de Nachum Dershowitz

Tapa de Fields of logic and computation

Fields of logic and computation

Tapa de Pillars of computer science

Pillars of computer science

Verification

Verification — Nachum Dershowitz | Cutter Number

Tapa de Evolution of Programmes (Progress in Computer Science)

Evolution of Programmes (Progress in Computer Science)

Tapa de Language, Culture, Computation : Computational Linguistics and Linguistics

Language, Culture, Computation : Computational Linguistics and Linguistics

VVerification : Theory and Practice

Verification : Theory and Practice

Ver todas las obras de Nachum Dershowitz →