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-SanbornB697rEntrada «Bon» → 697 · marca de obra “r”

Runtime Verification

de Borzoo Bonakdarpour, Scott A. Smolka

Materias

Computer software, verification
Computer software, testing
Software engineering
Computer science
Computer software
Logic design
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques

Runtime Verification — Borzoo Bonakdarpour, Scott A. Smolka | Cutter Number

Programming Languages, Compilers, Interpreters

Mathematical Logic and Formal Languages

Ediciones (2)

Runtime Verification (2014)
Springer · ISBN 9783319111636
Runtime Verification (2014)
Springer London, Limited · inglés · ISBN 9783319111643

Más obras de Borzoo Bonakdarpour

Tapa de Stabilization, Safety, and Security of Distributed Systems

Stabilization, Safety, and Security of Distributed Systems

Ver todas las obras de Borzoo Bonakdarpour →