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
Formal Verification of Control System Software

Tapa de Formal Verification of Control System Software

Número de Cutter-SanbornG237fEntrada «Garo» → 237 · marca de obra “f”

Formal Verification of Control System Software

de Pierre-Loïc Garoche

Materias

Automatic control
Computer software

Ediciones (2)

Formal Verification of Control System Software (2019)
Princeton University Press · inglés · ISBN 9780691189581
Formal Verification of Control System Software (2019)
Princeton University Press · ISBN 9780691181301

Más obras de Pierre-Loïc Garoche

DDistributed Control for Cyber-Physical Systems

Distributed Control for Cyber-Physical Systems

Formal Verification of Control System Software — Pierre-Loïc Garoche | Cutter Number

Ver todas las obras de Pierre-Loïc Garoche →