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-SanbornA287iEntrada «Ahr» → 287 · marca de obra “i”

Integrated Formal Methods

de Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Ediciones (1)

Integrated Formal Methods (2019)
Springer · ISBN 9783030349677

Más obras de Wolfgang Ahrendt

Tapa de Tests and Proofs

Tests and Proofs

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

DDeductive Software Verification : Future Perspectives

Deductive Software Verification : Future Perspectives

Integrated Formal Methods — Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa | Cutter Number

Tapa de Logic of Software. a Tasting Menu of Formal Methods

Logic of Software. a Tasting Menu of Formal Methods

Ver todas las obras de Wolfgang Ahrendt →