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
Numerical Software Verification

Tapa de Numerical Software Verification

Número de Cutter-SanbornA119nEntrada «Abat» → 119 · marca de obra “n”

Numerical Software Verification

de Alessandro Abate, Sylvie Boldo

Materias

Numerical analysis
Computer software, verification

Ediciones (1)

Numerical Software Verification (2017)
Springer · ISBN 9783319635002

Más obras de Alessandro Abate

Tapa de Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Tapa de Hybrid Systems Biology

Hybrid Systems Biology

QQuantitative Evaluation of Systems

Quantitative Evaluation of Systems

Numerical Software Verification — Alessandro Abate, Sylvie Boldo | Cutter Number

C

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Blue

IImpero Di Cartax

Impero Di Cartax

Ver todas las obras de Alessandro Abate →