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 : Theory and Practice

VVerification : Theory and Practice

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

Verification : Theory and Practice

de Nachum Dershowitz

Ediciones (2)

Verification : Theory and Practice (2014)
Springer · ISBN 9783662210369
Verification : Theory and Practice (2004)
Springer London, Limited · inglés · ISBN 9783540399100

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 : Theory and Practice — Nachum Dershowitz | Cutter Number

Verification

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

LLanguage, Culture, Computation : Computing for the Humanitie

Language, Culture, Computation : Computing for the Humanities, Law, and Narratives

Ver todas las obras de Nachum Dershowitz →