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

Tapa de Runtime Verification

Número de Cutter-SanbornB276rEntrada «Barrin» → 276 · marca de obra “r”

Runtime Verification

de Howard Barringer

Materias

Logic design
Computer science
Software engineering
Computer software
Computer programs
Congresses
Verification
Formal methods (Computer science)
Testing
Informatique
System design

Ediciones (1)

Runtime Verification (2010)
Springer Berlin Heidelberg · inglés · ISBN 9783642166112

Más obras de Howard Barringer

Tapa de A survey of verification techniques for parallel programs

A survey of verification techniques for parallel programs

Tapa de Advances in Temporal Logic

Advances in Temporal Logic

Tapa de Temporal Logic in Specification

Temporal Logic in Specification

Ver todas las obras de Howard Barringer →

Runtime Verification — Howard Barringer | Cutter Number