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-SanbornA288tEntrada «Ai» → 288 · marca de obra “t”

Tests and Proofs

de Bernhard K. Aichernig, Carlo A. Furia

Materias

Computer software, testing
Computer software, verification
Software engineering

Ediciones (2)

Tests and Proofs (2016)
Springer · ISBN 9783319411347
Tests and Proofs (2016)
Springer London, Limited · inglés · ISBN 9783319411354

Más obras de Bernhard K. Aichernig

Tapa de Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Tests and Proofs — Bernhard K. Aichernig, Carlo A. Furia | Cutter Number

Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

FFormal methods at the crossroads

Formal methods at the crossroads

Tapa de Formal methods at the crossroads

Formal methods at the crossroads

Ver todas las obras de Bernhard K. Aichernig →