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
Algebraic semantics of imperative programs

Tapa de Algebraic semantics of imperative programs

Número de Cutter-SanbornG613aEntrada «Gog» → 613 · marca de obra “a”

Algebraic semantics of imperative programs

de Joseph Goguen · Publicada por primera vez en 1996

Materias

Programming languages (Electronic computers)
Semantics
Algebra
Sémantique algébrique
OBJ
Funktionale Semantik
Programmeren (computers)
Programmation logique
Programme impératif
Algèbre

Algebraic semantics of imperative programs — Joseph Goguen | Cutter Number

Algebraïsche taalkunde

Langages de programmation

Ediciones (1)

Algebraic semantics of imperative programs (1996)
MIT Press · inglés

Más obras de Joseph Goguen

Tapa de Software engineering with OBJ

Software engineering with OBJ

Tapa de Algebra, meaning, and computation

Algebra, meaning, and computation

Tapa de Art and the brain II

Art and the brain II

Tapa de Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

1999

AA categorical manifesto

A categorical manifesto

1989

CCrew communications as a factor in aviation accidents

Crew communications as a factor in aviation accidents

1986

Ver todas las obras de Joseph Goguen →