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
Higher-order subtyping

HHigher-order subtyping

Número de Cutter-SanbornS817hEntrada «Steffe» → 817 · marca de obra “h”

Higher-order subtyping

de Martin Steffen · Publicada por primera vez en 1994

Materias

Lambda calculus
Object-oriented programming (Computer science)

Ediciones (1)

Higher-order subtyping (1994)
LFCS, Dept. of Computer Science, University of Edinburgh · inglés

Más obras de Martin Steffen

Tapa de Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

DDie Schlacht bei Minden

Die Schlacht bei Minden

Tapa de Fundamentals of Computation Theory

Fundamentals of Computation Theory

Higher-order subtyping — Martin Steffen | Cutter Number

SSoftware Engineering and Formal Methods : SEFM 2019 Collocat

Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops

UUntersuchungen zu retrovirus-abhängigen genomischen Veränder

Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen

Ver todas las obras de Martin Steffen →