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
Software and systems safety

SSoftware and systems safety

Número de Cutter-SanbornB885sEntrada «Browni» → 885 · marca de obra “s”

Software and systems safety

de M. Broy, Christian Leuxner, C. A. R. Hoare

Materias

Computer security
Congresses
Verification
Software engineering
Computer software
Computer software, verification

Ediciones (1)

Software and systems safety (2011)
IOS Press · inglés · ISBN 9781607507109

Más obras de M. Broy

Software and systems safety — M. Broy, Christian Leuxner, C. A. R. Hoare | Cutter Number

Tapa de Model-based testing of reactive systems

Model-based testing of reactive systems

Tapa de Perspectives of system informatics

Perspectives of system informatics

Tapa de KORSO

KORSO

Tapa de Formal systems specification

Formal systems specification

Tapa de Formal methods in programming and their applications

Formal methods in programming and their applications

Tapa de Program design calculi

Program design calculi

Ver todas las obras de M. Broy →