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-SanbornD256iEntrada «Davies, J.» → 256 · marca de obra “i”

Integrated Formal Methods

de Jim Davies, Jeremy Gibbons

Materias

System design

Ediciones (1)

Integrated Formal Methods (2007)
Springer London, Limited · inglés · ISBN 9783540732105

Más obras de Jim Davies

Tapa de Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Tapa de Formal methods and software engineering

Integrated Formal Methods — Jim Davies, Jeremy Gibbons | Cutter Number

Formal methods and software engineering

Tapa de Riveted

Riveted

Tapa de Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

Tapa de Imagination

Imagination

SSpecification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Ver todas las obras de Jim Davies →