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
Computer Aided Verification

CComputer Aided Verification

Número de Cutter-SanbornE56cEntrada «En» → 56 · marca de obra “c”

Computer Aided Verification

de Constantin Enea, Akash Lal

Materias

Artificial intelligence
Computer algorithms
Computer networks
Computer software, development

Ediciones (3)

Computer Aided Verification (2023)
Springer · inglés · ISBN 9783031377020
Computer Aided Verification (2023)
Springer · inglés · ISBN 9783031377082
Computer Aided Verification (2023)
Springer · inglés · ISBN 9783031377051

Más obras de Constantin Enea

Computer Aided Verification — Constantin Enea, Akash Lal | Cutter Number

Tapa de Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

NNetworked Systems

Networked Systems

Ver todas las obras de Constantin Enea →