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
Trustworthy Global Computing

TTrustworthy Global Computing

Número de Cutter-SanbornB284tEntrada «Barth» → 284 · marca de obra “t”

Trustworthy Global Computing

de Gilles Barthe, Cédric Fournet

Ediciones (1)

Trustworthy Global Computing (2008)
Springer London, Limited · inglés · ISBN 9783540786634

Más obras de Gilles Barthe

Tapa de Security and Trust Management

Security and Trust Management

Tapa de Programming Languages and Systems

Programming Languages and Systems

Trustworthy Global Computing — Gilles Barthe, Cédric Fournet | Cutter Number

Tapa de Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

FFoundations of Probabilistic Programming

Foundations of Probabilistic Programming

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

CConstruction and Analysis of Safe, Secure, and Interoperable

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Ver todas las obras de Gilles Barthe →