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-SanbornC514fEntrada «Che» → 514 · marca de obra “f”

Formal Methods

de Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Ediciones (1)

Formal Methods (2023)
Springer International Publishing AG · inglés · ISBN 9783031274800

Más obras de Marsha Chechik

Tapa de Fundamental Approaches To Software Engineering 12th International Conference Proceedings

Fundamental Approaches To Software Engineering 12th International Conference Proceedings

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

Formal Methods — Marsha Chechik, Joost-Pieter Katoen, Martin Leucker | Cutter Number

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

VVerified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

CCONCUR 2008 - Concurrency Theory

CONCUR 2008 - Concurrency Theory

Ver todas las obras de Marsha Chechik →