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 Techniques for Distributed Systems

Tapa de Formal Techniques for Distributed Systems

Número de Cutter-SanbornG455fEntrada «Gies» → 455 · marca de obra “f”

Formal Techniques for Distributed Systems

de Holger Giese

Materias

Mathematical Logic and Formal Languages
Programming Techniques
Software engineering
Computer networks
Logic design
Logics and Meanings of Programs
Computer science
Programming Languages, Compilers, Interpreters
Electronic data processing, distributed processing

Formal Techniques for Distributed Systems — Holger Giese | Cutter Number

Computer Communication Networks

Ediciones (1)

Formal Techniques for Distributed Systems (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642307935

Más obras de Holger Giese

Tapa de Models in Software Engineering

Models in Software Engineering

Tapa de Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems

Tapa de Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Tapa de Graph Transformation

Graph Transformation

Tapa de Architecting Critical Systems

Architecting Critical Systems

Tapa de Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

Ver todas las obras de Holger Giese →