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-SanbornD815tEntrada «Dubo» → 815 · marca de obra “t”

Tests and Proofs

de Catherine Dubois, Burkhart Wolff

Materias

Computer science
Software engineering
Logic, symbolic and mathematical

Ediciones (4)

Tests and Proofs (2018)
Springer · ISBN 9783319929934
Tests and Proofs (2011)
Springer · ISBN 9783642217692
Tests and Proofs (2009)
Springer · ISBN 9783642029509
Tests and Proofs (2009)
Springer London, Limited · inglés · ISBN 9783642029493

Más obras de Catherine Dubois

Tests and Proofs — Catherine Dubois, Burkhart Wolff | Cutter Number

FFormal Methods Teaching

Formal Methods Teaching

IIntelligent Computer Mathematics

Intelligent Computer Mathematics

Ver todas las obras de Catherine Dubois →