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
Abstract state machines

Tapa de Abstract state machines

Número de Cutter-SanbornG979aEntrada «Gure» → 979 · marca de obra “a”

Abstract state machines

de Yuri Gurevich

Materias

Machine theory
Congresses

Ediciones (1)

Abstract State Machines - Theory and Applications (2000)
Springer · inglés · ISBN 9783540679592

Más obras de Yuri Gurevich

Tapa de Fields of logic and computation

Fields of logic and computation

Tapa de Semantics of programming languages and model theory

Semantics of programming languages and model theory

Tapa de Classical Decision Problem

Classical Decision Problem

Abstract state machines — Yuri Gurevich | Cutter Number

T

Tests and Proofs

Tests and Proofs

AAbstract State Machines - Theory and Applications

Abstract State Machines - Theory and Applications

Tapa de Computer science logic

Computer science logic

1994

Ver todas las obras de Yuri Gurevich →