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
Concurrency, Compositionality, and Correctness

Tapa de Concurrency, Compositionality, and Correctness

Número de Cutter-SanbornD166cEntrada «Dampi» → 166 · marca de obra “c”

Concurrency, Compositionality, and Correctness

Materias

Logic design
Computer science
Software engineering
Computer software
Parallel programming (Computer science)
Computer programs
Correctness

Ediciones (1)

Concurrency, Compositionality, and Correctness (2010)
Springer Berlin Heidelberg · inglés · ISBN 9783642115110

Más obras de Dennis Dams

Concurrency, Compositionality, and Correctness — Dennis Dams | Cutter Number

FFM 2009 : Formal Methods

FM 2009 : Formal Methods

TTheoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking

Ver todas las obras de Dennis Dams →