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

TTests and Proofs

Número de Cutter-SanbornP944tEntrada «Prev» → 944 · marca de obra “t”

Tests and Proofs

de Virgile Prevosto, Cristina Seceleanu

Materias

Computer software, development

Ediciones (1)

Tests and Proofs (2023)
Springer · inglés · ISBN 9783031388279

Más obras de Virgile Prevosto

GGuide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Ver todas las obras de Virgile Prevosto →

Tests and Proofs — Virgile Prevosto, Cristina Seceleanu | Cutter Number