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

Tapa de Formal methods

Número de Cutter-SanbornA659fEntrada «Arag» → 659 · marca de obra “f”

Formal methods

de Keijiro Araki, Stefania Gnesi

Materias

Computer software
Congresses
Development
Formal methods (Computer science)
System design
Mathematics
Computer software, development
Computer science

Ediciones (1)

FME 2003: Formal Methods (2003)
Springer · inglés · ISBN 9783540408284

Más obras de Keijiro Araki

Tapa de IFM'99

IFM'99

Tapa de RIMS Symposium on Software Science and Engineering II

RIMS Symposium on Software Science and Engineering II

TTheoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004

Ver todas las obras de Keijiro Araki →

Formal methods — Keijiro Araki, Stefania Gnesi | Cutter Number