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
Languages From Formal to Natural Lecture Notes in Computer Science

Tapa de Languages From Formal to Natural

Lecture Notes in Computer Science

Número de Cutter-SanbornG887lEntrada «Grul» → 887 · marca de obra “l”

Languages From Formal to Natural Lecture Notes in Computer Science

de Orna Grumberg

Materias

Logic design
Information theory
Symbolic and mathematical Logic
Computer science
Programming languages (electronic computers)
Programming languages (Electronic computers)
Formale Sprache
Kongress
Natürliche Sprache

Languages From Formal to Natural Lecture Notes in Computer | Cutter Number

Linguistische Datenverarbeitung

Programmverifikation

Ediciones (1)

Languages From Formal to Natural Lecture Notes in Computer Science (2009)
Springer · ISBN 9783642017476

Más obras de Orna Grumberg

Tapa de 25 Years Of Model Checking History Achievements Perspectives

25 Years Of Model Checking History Achievements Perspectives

Tapa de Model checking

Model checking

MModel Checking, Second Edition

Model Checking, Second Edition

LLanguages : from Formal to Natural

Languages : from Formal to Natural

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

225 Years of Model Checking

25 Years of Model Checking

Ver todas las obras de Orna Grumberg →