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 W
Wolfgang Ahrendt

Número de Cutter-SanbornA287Entrada de tabla «Ahr»

Wolfgang Ahrendt

· 5 obras en el catálogo

Obras

Tapa de Tests and Proofs

Tests and Proofs

Tapa de Integrated Formal Methods

Integrated Formal Methods

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

DDeductive Software Verification : Future Perspectives

Deductive Software Verification : Future Perspectives

Tapa de Logic of Software. a Tasting Menu of Formal Methods

Logic of Software. a Tasting Menu of Formal Methods

Wolfgang Ahrendt — obras y número de Cutter | Cutter Number