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
Autores con O
Orna Grumberg

Número de Cutter-SanbornG887Entrada de tabla «Grul»

Orna Grumberg

· 8 obras en el catálogo

Obras

Tapa de 25 Years Of Model Checking History Achievements Perspectives

25 Years Of Model Checking History Achievements Perspectives

Tapa de Languages From Formal to Natural

Lecture Notes in Computer Science

Languages From Formal to Natural Lecture Notes in Computer Science

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

Tapa de Computer Aided Verification

Computer Aided Verification

Orna Grumberg — obras y número de Cutter | Cutter Number