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 and software engineering

Tapa de Formal methods and software engineering

Número de Cutter-SanbornL783fEntrada «Liu» → 783 · marca de obra “f”

Formal methods and software engineering

de Zhiming Liu, Jifeng He

Materias

Formal methods (Computer science)
Congresses
Software engineering

Ediciones (2)

Formal Methods and Software Engineering (2006)
Springer · inglés · ISBN 9783540474609
Formal Methods and Software Engineering (2006)
Springer London, Limited · inglés · ISBN 9783540474623

Más obras de Zhiming Liu

Formal methods and software engineering — Zhiming Liu, Jifeng He | Cutter Number

Tapa de Foundations of Health Informatics Engineering and Systems

Foundations of Health Informatics Engineering and Systems

Tapa de Mechanical and Electronics Engineering VI

Mechanical and Electronics Engineering VI

Tapa de Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

Tapa de Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Tapa de Formal Aspects of Component Software

Formal Aspects of Component Software

Bioreactors

Ver todas las obras de Zhiming Liu →