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 Engineering and Formal Methods

Tapa de Software Engineering and Formal Methods

Número de Cutter-SanbornN634sEntrada «Nicol» → 634 · marca de obra “s”

Software Engineering and Formal Methods

de Rocco De Nicola, Eva Kühn

Materias

Software engineering

Ediciones (2)

Software Engineering and Formal Methods (2016)
Springer · ISBN 9783319415901
Software Engineering and Formal Methods (2016)
Springer London, Limited · inglés · ISBN 9783319415918

Más obras de Rocco De Nicola

Tapa de Trustworthy global computing

Trustworthy global computing

Software Engineering and Formal Methods — Rocco De Nicola, Eva Kühn | Cutter Number

Tapa de Coordination models and languages

Coordination models and languages

Tapa de Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)

Tapa de Software, Services, and Systems

Software, Services, and Systems

Tapa de Coordination Models and Languages

Coordination Models and Languages

FFormal Methods for the Quantitative Evaluation of Collective

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Ver todas las obras de Rocco De Nicola →