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 Methods for Industrial Critical Systems

Tapa de Formal Methods for Industrial Critical Systems

Número de Cutter-SanbornS161fEntrada «Salan» → 161 · marca de obra “f”

Formal Methods for Industrial Critical Systems

de Gwen Salaün

Materias

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

Formal Methods for Industrial Critical Systems — Gwen Salaün | Cutter Number

Mathematical Logic and Formal Languages

Programming Techniques

Ediciones (1)

Formal Methods for Industrial Critical Systems (2011)
Springer-Verlag GmbH Berlin Heidelberg · inglés · ISBN 9783642244308

Más obras de Gwen Salaün

Tapa de Software Engineering and Formal Methods

Software Engineering and Formal Methods

Tapa de Formal Aspects of Component Software

Formal Aspects of Component Software

Tapa de Software Technologies : Applications and Foundations

Software Technologies : Applications and Foundations

Ver todas las obras de Gwen Salaün →