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
Dynamic Logic

DDynamic Logic

Número de Cutter-SanbornH275dEntrada «Hare, M.» → 275 · marca de obra “d”

Dynamic Logic

de David Harel, Dexter Kozen, Jerzy Tiuryn

Materias

Logic, symbolic and mathematical

Ediciones (4)

Dynamic Logic (2018)
MIT Press · inglés · ISBN 9780262274951
Dynamic Logic (2014)
MIT Press · inglés · ISBN 9780262527668
Dynamic Logic (2000)
MIT Press · inglés · ISBN 9781423728337
Dynamic Logic (2000)
MIT Press · inglés · ISBN 9780262263023

Más obras de David Harel

Dynamic Logic — David Harel, Dexter Kozen, Jerzy Tiuryn | Cutter Number

Tapa de Algorithmik

Algorithmik

Tapa de Come, Let’s Play

Come, Let’s Play

Tapa de Das Affenpuzzle und weitere bad news aus der Computerwelt

Das Affenpuzzle und weitere bad news aus der Computerwelt

Tapa de Engineering Theories of Software Intensive Systems

Engineering Theories of Software Intensive Systems

Tapa de Engineering Theories of Software Intensive Systems

Engineering Theories of Software Intensive Systems

LLucid Dream Matrix Journal

Lucid Dream Matrix Journal

Ver todas las obras de David Harel →