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

Tapa de Formal methods

Número de Cutter-SanbornB664fEntrada «Boc» → 664 · marca de obra “f”

Formal methods

de Paul Boca, J. P. Bowen, J. I. Siddiqi

4.0 · 1 votos

Materias

Formal methods (Computer science)
Computer software, development
Software engineering
System design

Ediciones (4)

Formal methods — Paul Boca, J. P. Bowen, J. I. Siddiqi | Cutter Number

Formal Methods (2014)

Springer · ISBN 9781447157458

Formal methods (2010)

Springer · inglés · ISBN 9781848827356

Formal Methods (2010)

Springer · ISBN 9781848827370

Formal Methods (2009)

Springer · inglés · ISBN 9781848827363

Más obras de Paul Boca

AAbstract State Machines, B and Z

Abstract State Machines, B and Z

Ver todas las obras de Paul Boca →