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
A survey of formal software development methods

AA survey of formal software development methods

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

A survey of formal software development methods

de Donald Sannella

Ediciones (1)

A survey of formal software development methods (1988)
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

A survey of formal software development methods — 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 →