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

Tapa de FM 2014 : Formal Methods

Número de Cutter-SanbornJ76fEntrada «Jon» → 76 · marca de obra “f”

FM 2014 : Formal Methods

de Cliff Jones, Pekka Pihlajasaari, Jun Sun

Materias

Computer software, development
System design
Software engineering
Computer science
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs

FM 2014 : Formal Methods — Cliff Jones, Pekka Pihlajasaari, Jun Sun | Cutter Number

Management of Computing and Information Systems

Computation by Abstract Devices

Ediciones (2)

FM 2014 : Formal Methods (2014)
Springer · ISBN 9783319064093
FM 2014 : Formal Methods (2014)
Springer London, Limited · inglés · ISBN 9783319064109

Más obras de Cliff Jones

BBuilding a better mousetrap

Building a better mousetrap

Tapa de Symposium on Real-Time and Hybrid Systems

Symposium on Real-Time and Hybrid Systems

CCliff Jones - My Story

Cliff Jones - My Story

Tapa de Advergaming developer's guide

Advergaming developer's guide

Tapa de VDM '87. VDM - A Formal Method at Work

VDM '87. VDM - A Formal Method at Work

LLiving History Anthology

Living History Anthology

Ver todas las obras de Cliff Jones →