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 (vol. # 3785)

Tapa de Formal Methods and Software Engineering (vol. # 3785)

Número de Cutter-SanbornL366fEntrada «Lau» → 366 · marca de obra “f”

Formal Methods and Software Engineering (vol. # 3785)

de Kung-Kiu Lau

Materias

Logic design
Computer science
Software engineering
Formal methods (Computer science)
Congresses

Ediciones (1)

Formal Methods and Software Engineering (2005)
Springer · inglés · ISBN 9783540297970

Más obras de Kung-Kiu Lau

Tapa de Program development in computational logic

Formal Methods and Software Engineering (vol. # 3785) — Kung-Kiu Lau | Cutter Number

Program development in computational logic

Tapa de Component-based software development

Component-based software development

Tapa de Computational Logic CL 2000 00

Computational Logic CL 2000 00

Tapa de Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

SService-Oriented and Cloud Computing

Service-Oriented and Cloud Computing

FFormal Methods and Software Engineering

Formal Methods and Software Engineering

Ver todas las obras de Kung-Kiu Lau →