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-SanbornB896fEntrada «Bruni» → 896 · marca de obra “f”

Formal Techniques for Distributed Systems

de Roberto Bruni

Materias

Logic design
Computer networks
Computer science
Software engineering
Electronic data processing
Distributed processing
Congresses
System design
Operating systems (computers)
Electronic data processing, distributed processing
Mathematical Logic and Formal Languages

Ediciones (1)

Formal Techniques for Distributed Systems (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642214608

Más obras de Roberto Bruni

Tapa de Trustworthy Global Computing 6th International Symposium Revised Selected Papers

Trustworthy Global Computing 6th International Symposium Revised Selected Papers

Tapa de Trustworthy Global Computing

Trustworthy Global Computing

Tapa de Models of Computation

Models of Computation

Formal Techniques for Distributed Systems — Roberto Bruni | Cutter Number

Logics and Meanings of Programs

W

Web Services and Formal Methods

Web Services and Formal Methods

Ver todas las obras de Roberto Bruni →