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
Coalgebraic Methods in Computer Science

Tapa de Coalgebraic Methods in Computer Science

Número de Cutter-SanbornP321cEntrada «Patti» → 321 · marca de obra “c”

Coalgebraic Methods in Computer Science

de Dirk Pattinson

Materias

Mathematical Logic and Formal Languages
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Computer science
Probability and Statistics in Computer Science

Ediciones (1)

Coalgebraic Methods in Computer Science (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642327841

Más obras de Dirk Pattinson

Coalgebraic Methods in Computer Science — Dirk Pattinson | Cutter Number

Tapa de Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

AAutomated Reasoning

Automated Reasoning

Ver todas las obras de Dirk Pattinson →