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

RRuntime Verification

Número de Cutter-SanbornF499rEntrada «Fink» → 499 · marca de obra “r”

Runtime Verification

de Bernd Finkbeiner, Leonardo Mariani

Ediciones (1)

Runtime Verification (2019)
Springer International Publishing AG · inglés · ISBN 9783030320782

Más obras de Bernd Finkbeiner

Tapa de Fields of Logic and Computation II

Fields of Logic and Computation II

AAutomated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Runtime Verification — Bernd Finkbeiner, Leonardo Mariani | Cutter Number

FFields of Logic and Computation III

Fields of Logic and Computation III

DDesign and Verification of Cyber-Physical Systems : from The

Design and Verification of Cyber-Physical Systems : from Theory to Applications

Ver todas las obras de Bernd Finkbeiner →