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-SanbornC154sEntrada «Calin» → 154 · marca de obra “s”

Software Engineering and Formal Methods

de Radu Calinescu, Bernhard Rumpe

Materias

Logic, symbolic and mathematical
Software engineering

Ediciones (3)

Software Engineering and Formal Methods (2022)
Springer International Publishing AG · inglés · ISBN 9783030921231
Software Engineering and Formal Methods (2015)
Springer London, Limited · inglés · ISBN 9783319229690
Software Engineering and Formal Methods (2015)
Springer · ISBN 9783319229683

Más obras de Radu Calinescu

Software Engineering and Formal Methods — Radu Calinescu, Bernhard Rumpe | Cutter Number

Tapa de Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Tapa de Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Tapa de Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

Tapa de Large-Scale Complex IT Systems. Development, Operation and Management

Large-Scale Complex IT Systems. Development, Operation and Management

Tapa de Foundations of Computer Software

Foundations of Computer Software

Ver todas las obras de Radu Calinescu →