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

IIntegrated Formal Methods

Número de Cutter-SanbornD158iEntrada «Dami» → 158 · marca de obra “i”

Integrated Formal Methods

de Ferruccio Damiani, Marie Farrell

Ediciones (1)

Integrated Formal Methods (2025)
Springer · inglés · ISBN 9783032107930

Más obras de Ferruccio Damiani

Tapa de Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

TTypes for Proofs and Programs

Types for Proofs and Programs

Integrated Formal Methods — Ferruccio Damiani, Marie Farrell | Cutter Number

CCoordination Models and Languages

Coordination Models and Languages

Ver todas las obras de Ferruccio Damiani →