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-SanbornB414iEntrada «Bee» → 414 · marca de obra “i”

Integrated Formal Methods

de Maurice H. ter Beek, Rosemary Monahan

Ediciones (1)

Integrated Formal Methods (2022)
Springer International Publishing AG · inglés · ISBN 9783031077265

Más obras de Maurice H. ter Beek

Tapa de Web Services and Formal Methods

Web Services and Formal Methods

Tapa de From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Integrated Formal Methods — Maurice H. ter Beek, Rosemary Monahan | Cutter Number

Tapa de Formal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

AArchitecting Dependable Systems VI

Architecting Dependable Systems VI

FFormal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

PProceedings of the Eleventh International Workshop on Variab

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

Ver todas las obras de Maurice H. ter Beek →