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

FFormal Methods

Número de Cutter-SanbornH899fEntrada «Hui» → 899 · marca de obra “f”

Formal Methods

de Marieke Huisman, Corina Pasareanu, Naijun Zhan

Ediciones (1)

Formal Methods (2021)
Springer International Publishing AG · inglés · ISBN 9783030908690

Más obras de Marieke Huisman

Tapa de Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de Integrated Formal Methods

Integrated Formal Methods

Formal Methods — Marieke Huisman, Corina Pasareanu, Naijun Zhan | Cutter Number

Tapa de Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

FFundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

CConstruction and Analysis of Safe, Secure, and Interoperable

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

FFormal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Ver todas las obras de Marieke Huisman →