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 at the crossroads

FFormal methods at the crossroads

Número de Cutter-SanbornA288fEntrada «Ai» → 288 · marca de obra “f”

Formal methods at the crossroads

de Bernhard K. Aichernig, Tom Maibaum

Materias

Congresses
Software engineering

Ediciones (1)

Formal methods at the crossroads (2003)
Springer-Verlag · inglés

Más obras de Bernhard K. Aichernig

Tapa de Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Formal methods at the crossroads — Bernhard K. Aichernig, Tom Maibaum | Cutter Number

Tapa de Formal methods at the crossroads

Formal methods at the crossroads

Tapa de Tests and Proofs

Tests and Proofs

Ver todas las obras de Bernhard K. Aichernig →