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 specification of ML programs

FFormal specification of ML programs

Número de Cutter-SanbornS228fEntrada «Sann» → 228 · marca de obra “f”

Formal specification of ML programs

de Donald Sannella

Ediciones (1)

Formal specification of ML programs. (1986)
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de Donald Sannella

Tapa de Foundations Of Algebraic Specification And Formal Software Development

Foundations Of Algebraic Specification And Formal Software Development

Tapa de Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Tapa de Automata, languages and programming

Automata, languages and programming

Formal specification of ML programs — Donald Sannella | Cutter Number

I

Introduction to Computation

Introduction to Computation

Extended ML

FFormal program development in extended ML for the working pr

Formal program development in extended ML for the working programmer

Ver todas las obras de Donald Sannella →