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
Lectures on Runtime Verification

Tapa de Lectures on Runtime Verification

Número de Cutter-SanbornB292lEntrada «Barto» → 292 · marca de obra “l”

Lectures on Runtime Verification

de Ezio Bartocci, Yliès Falcone

Materias

Computer science
Software engineering

Ediciones (2)

Lectures on Runtime Verification (2018)
Springer · alemán · ISBN 9783319756325
Lectures on Runtime Verification (2018)
Springer · ISBN 9783319756318

Más obras de Ezio Bartocci

Tapa de From Reactive Systems to Cyber-Physical Systems

From Reactive Systems to Cyber-Physical Systems

Lectures on Runtime Verification — Ezio Bartocci, Yliès Falcone | Cutter Number

Tapa de Model Checking Software

Model Checking Software

Tapa de Runtime Verification

Runtime Verification

CComputational Methods in Systems Biology

Computational Methods in Systems Biology

FFormal Methods in Outer Space

Formal Methods in Outer Space

Organicittà

Ver todas las obras de Ezio Bartocci →