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
FM 2009 : Formal Methods

FFM 2009 : Formal Methods

Número de Cutter-SanbornC376fEntrada «Cav» → 376 · marca de obra “f”

FM 2009 : Formal Methods

de Ana Cavalcanti, Dennis Dams

Ediciones (1)

FM 2009 : Formal Methods (2009)
Springer London, Limited · inglés · ISBN 9783642050893

Más obras de Ana Cavalcanti

Tapa de Theoretical aspects of computing

Theoretical aspects of computing

Tapa de Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

FM 2009 : Formal Methods — Ana Cavalcanti, Dennis Dams | Cutter Number

Tapa de Critical Systems

Critical Systems

RRefinement Techniques in Software Engineering

Refinement Techniques in Software Engineering

SSoftware Engineering for Robotics

Software Engineering for Robotics

TTheoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

Ver todas las obras de Ana Cavalcanti →