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
Toward formal development of ML programs

TToward formal development of ML programs

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

Toward formal development of ML programs

de Donald Sannella

Ediciones (1)

Toward formal development of ML programs (1989)
University of Edinburgh, Laboratory for Foundations in 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

Toward formal development 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 →