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
Polyvariant analysis of the untyped lambda calculus

PPolyvariant analysis of the untyped lambda calculus

Número de Cutter-SanbornP182pEntrada «Pals» → 182 · marca de obra “p”

Polyvariant analysis of the untyped lambda calculus

de Jens Palsberg

Ediciones (1)

Polyvariant analysis of the untyped lambda calculus (1992)
Computer Science Department, Aarhus University · inglés

Más obras de Jens Palsberg

Tapa de Static Analysis

Static Analysis

Tapa de Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

Tapa de Modern compiler implementation in Java

Modern compiler implementation in Java

Polyvariant analysis of the untyped lambda calculus — Jens Palsberg | Cutter Number

Tapa de Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

MModel Checking Software

Model Checking Software

Ver todas las obras de Jens Palsberg →