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
Programming Languages and Systems

Tapa de Programming Languages and Systems

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

Programming Languages and Systems

de Gilles Barthe

Ediciones (1)

Programming Languages and Systems (2011)
Springer · ISBN 9783642197192

Más obras de Gilles Barthe

Tapa de Security and Trust Management

Security and Trust Management

Tapa de Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

FFoundations of Probabilistic Programming

Foundations of Probabilistic Programming

Programming Languages and Systems — Gilles Barthe | Cutter Number

V

Verification, 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

TTrustworthy Global Computing

Trustworthy Global Computing

Ver todas las obras de Gilles Barthe →