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 A
Ahmed Bouajjani

Número de Cutter-SanbornB752Entrada de tabla «Bou»

Ahmed Bouajjani

· 5 obras en el catálogo

Obras

Tapa de Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Tapa de Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Tapa de Networked Systems

Networked Systems

FFormal Techniques for Disributed Objects, Components, and Sy

Formal Techniques for Disributed Objects, Components, and Systems

CComputer Aided Verification

Computer Aided Verification

Ahmed Bouajjani — obras y número de Cutter | Cutter Number