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
Larch

Tapa de Larch

Número de Cutter-SanbornG985lEntrada «Gutt» → 985 · marca de obra “l”

Larch

de John Guttag, John V. Guttag, James J. Horning, S. J. Garland

Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.

Materias

Computer programming
Computer software
Development
Larch (Computer program language)

Larch — John Guttag, John V. Guttag, James J. Horning, S. J. Garland | Cutter Number

formal specification

software engineering

Ediciones (4)

Larch (1993)
Springer · inglés · ISBN 9780387940069
Larch (1993)
Springer · inglés · ISBN 9783540940067
Larch (1993)
Island Press · inglés · ISBN 9781461227052
Larch (1993)
Springer-Verlag · inglés

Más obras de John Guttag

Tapa de Introduction To Computation And Programming Using Python

Introduction To Computation And Programming Using Python

PProgram Development in Java

Program Development in Java

TThe specification and application to programming of abstract

The specification and application to programming of abstract data types

Ver todas las obras de John Guttag →