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
Introduction to Formal Semantics

IIntroduction to Formal Semantics

Número de Cutter-SanbornW777iEntrada «Wins» → 777 · marca de obra “i”

Introduction to Formal Semantics

de Glynn Winskel

Materias

Programming languages (electronic computers)

Ediciones (1)

Introduction to Formal Semantics (1991)
MIT Press · inglés · ISBN 9780262231411

Más obras de Glynn Winskel

CCategories of models for concurrency

Categories of models for concurrency

Tapa de The formal semantics of programming languages

The formal semantics of programming languages

OOn the composition and decomposition of assertions

On the composition and decomposition of assertions

Introduction to Formal Semantics — Glynn Winskel | Cutter Number

UUsing information systems to solve recursive domain equation

Using information systems to solve recursive domain equations effectively

AA complete proof system for SCCS with modal assertions

A complete proof system for SCCS with modal assertions

PPetri nets, algebras and morphisms

Petri nets, algebras and morphisms

Ver todas las obras de Glynn Winskel →