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
Model-Based Safety and Assessment

Tapa de Model-Based Safety and Assessment

Número de Cutter-SanbornO77mEntrada «Ort» → 77 · marca de obra “m”

Model-Based Safety and Assessment

de Frank Ortmeier, Antoine Rauzy

Materias

Reliability (engineering)
Safety appliances
Operating systems (computers)
Industrial safety
Software engineering
Computer science
Computer software
Logic design
Logics and Meanings of Programs

Model-Based Safety and Assessment — Frank Ortmeier, Antoine Rauzy | Cutter Number

Mathematical Logic and Formal Languages

Programming Languages, Compilers, Interpreters

Algorithm Analysis and Problem Complexity

Ediciones (2)

Model-Based Safety and Assessment (2014)
Springer · ISBN 9783319122137
Model-Based Safety and Assessment (2014)
Springer London, Limited · inglés · ISBN 9783319122144

Más obras de Frank Ortmeier

Tapa de Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Tapa de Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Tapa de Formale Sicherheitsanalyse

Formale Sicherheitsanalyse

CComputer Safety, Reliability, and Security : SAFECOMP 2012 W

Computer Safety, Reliability, and Security : SAFECOMP 2012 Workshops

CComputer Safety, Reliability, and Security : SAFECOMP 2014 W

Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops

Ver todas las obras de Frank Ortmeier →