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-SanbornS586cEntrada «Silv» → 586 · marca de obra “c”

Computer Aided Verification

de Alexandra Silva, K. Rustan M. Leino

Ediciones (2)

Computer Aided Verification (2021)
Springer International Publishing AG · inglés · ISBN 9783030816872
Computer Aided Verification (2021)
Springer International Publishing AG · inglés · ISBN 9783030816841

Más obras de Alexandra Silva

PPresidentes entre o público e o privado (1910-1926)

Presidentes entre o público e o privado (1910-1926)

Computer Aided Verification — Alexandra Silva, K. Rustan M. Leino | Cutter Number

N

New trends towards Mediterranean tourism sustainability

New trends towards Mediterranean tourism sustainability

Tapa de Language, Logic, and Computation

Language, Logic, and Computation

Tapa de Burn

Burn

Forbidden

FFormal Techniques for Disributed Objects, Components, and Sy

Formal Techniques for Disributed Objects, Components, and Systems

Ver todas las obras de Alexandra Silva →