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
Integrated Formal Methods

Tapa de Integrated Formal Methods

Número de Cutter-SanbornP768iEntrada «Polig» → 768 · marca de obra “i”

Integrated Formal Methods

de Nadia Polikarpova, Steve Schneider

Materias

System design
Computer science

Ediciones (1)

Integrated Formal Methods (2017)
Springer · ISBN 9783319668444

Más obras de Nadia Polikarpova

SSoftware Verification

Software Verification

Ver todas las obras de Nadia Polikarpova →

Integrated Formal Methods — Nadia Polikarpova, Steve Schneider | Cutter Number