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 Open Object-Based Distributed Systems

Tapa de Formal Methods for Open Object-Based Distributed Systems

Número de Cutter-SanbornS817fEntrada «Steffe» → 817 · marca de obra “f”

Formal Methods for Open Object-Based Distributed Systems

de Martin Steffen

Materias

Logic design
Computer networks
Computer science
Software engineering
Operating systems (Computers)
Electronic data processing
Congresses
Distributed processing
Object-oriented programming (Computer science)
Computer programming

Formal Methods for Open Object-Based Distributed Systems — Martin Steffen | Cutter Number

Formal methods (Computer science)

Ediciones (2)

Formal Methods for Open Object-Based Distributed Systems (2005)
Springer · inglés · ISBN 9783540261810
Formal Methods for Open Object-Based Distributed Systems (2005)
Springer London, Limited · inglés · ISBN 9783540315568

Más obras de Martin Steffen

HHigher-order subtyping

Higher-order subtyping

1994

DDie Schlacht bei Minden

Die Schlacht bei Minden

Tapa de Fundamentals of Computation Theory

Fundamentals of Computation Theory

SSoftware Engineering and Formal Methods : SEFM 2019 Collocat

Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops

UUntersuchungen zu retrovirus-abhängigen genomischen Veränder

Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen

Ver todas las obras de Martin Steffen →