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
Tests and Proofs

Tapa de Tests and Proofs

Número de Cutter-SanbornA287tEntrada «Ahr» → 287 · marca de obra “t”

Tests and Proofs

de Wolfgang Ahrendt, Heike Wehrheim

Ediciones (1)

Tests and Proofs (2020)
Springer · ISBN 9783030509941

Más obras de Wolfgang Ahrendt

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

Tests and Proofs — Wolfgang Ahrendt, Heike Wehrheim | Cutter Number

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

Logic of Software. a Tasting Menu of Formal Methods

Ver todas las obras de Wolfgang Ahrendt →