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 2012: Formal Methods

Tapa de FM 2012: Formal Methods

Número de Cutter-SanbornG433fEntrada «Gian» → 433 · marca de obra “f”

FM 2012: Formal Methods

de Dimitra Giannakopoulou

Materias

Mathematical Logic and Formal Languages
Information Systems
Software engineering
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Computer science
Management of Computing and Information Systems
Formal methods (Computer science)

FM 2012: Formal Methods — Dimitra Giannakopoulou | Cutter Number

Ediciones (2)

FM 2012 : Formal Methods (2012)
Springer Berlin / Heidelberg · inglés · ISBN 9783642327582
FM 2012: Formal Methods (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642327599

Más obras de Dimitra Giannakopoulou

Tapa de Verified Software : Theories, Tools and Experiments

Verified Software : Theories, Tools and Experiments

Tapa de Software Engineering and Formal Methods

Software Engineering and Formal Methods

Tapa de Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Ver todas las obras de Dimitra Giannakopoulou →