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
Concise Guide to Software Verification

CConcise Guide to Software Verification

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

Concise Guide to Software Verification

de Marieke Huisman, Anton Wijs

Materias

Mathematics

Ediciones (2)

Concise Guide to Software Verification (2024)
Springer International Publishing AG · inglés · ISBN 9783031301698
Concise Guide to Software Verification (2023)
Springer International Publishing AG · inglés · ISBN 9783031301667

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

Concise Guide to Software Verification — Marieke Huisman, Anton Wijs | Cutter Number

Tapa de Integrated Formal Methods

Integrated Formal Methods

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

FFormal Methods

Formal Methods

CConstruction and Analysis of Safe, Secure, and Interoperable

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

Ver todas las obras de Marieke Huisman →