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

Tapa de Formal Methods

Número de Cutter-SanbornN669fEntrada «Niels» → 669 · marca de obra “f”

Formal Methods

de Flemming Nielson, Hanne Riis Nielson

Ediciones (1)

Formal Methods (2019)
Springer · ISBN 9783030051556

Más obras de Flemming Nielson

Tapa de Semantics with applications

Semantics with applications

Tapa de Type and effect systems

Type and effect systems

Tapa de ML with Concurrency

ML with Concurrency

Tapa de Principles of Security and Trust

Principles of Security and Trust

Formal Methods — Flemming Nielson, Hanne Riis Nielson | Cutter Number

Tapa de Trustworthy Global Computing

Trustworthy Global Computing

Tapa de Two-level functional languages

Two-level functional languages

Ver todas las obras de Flemming Nielson →