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
Multi-valued symbolic model-checking

MMulti-valued symbolic model-checking

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

Multi-valued symbolic model-checking

de Arie Gurfinkel · Publicada por primera vez en 2003

Ediciones (1)

Multi-valued symbolic model-checking (2003)
National Library of Canada · inglés

Más obras de Arie Gurfinkel

Tapa de Verified Software : Theories, Tools, and Experiments

Verified Software : Theories, Tools, and Experiments

CComputer Aided Verification

Computer Aided Verification

Ver todas las obras de Arie Gurfinkel →

Multi-valued symbolic model-checking — Arie Gurfinkel | Cutter Number