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
Theoretical Aspects of Computing - ICTAC 2009

Tapa de Theoretical Aspects of Computing - ICTAC 2009

Número de Cutter-SanbornL652tEntrada «Leu» → 652 · marca de obra “t”

Theoretical Aspects of Computing - ICTAC 2009

de Martin Leucker

Materias

Data processing
Computer science
Software engineering
Algebra
Information theory
Computer software
Electronic data processing
Congresses
Model Checking
Kongress
Nebenläufigkeit

Theoretical Aspects of Computing - ICTAC 2009 — Martin Leucker | Cutter Number

Softwareentwicklung

Ediciones (1)

Theoretical Aspects of Computing - ICTAC 2009 (2009)
Springer Berlin Heidelberg · inglés · ISBN 9783642034657

Más obras de Martin Leucker

Tapa de Runtime Verification

Runtime Verification

Tapa de Theoretical Aspects of Computing - ICTAC 2015

Theoretical Aspects of Computing - ICTAC 2015

MModel-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

FFormal Methods in Outer Space

Formal Methods in Outer Space

FFormal Methods : Applications and Technology

Formal Methods : Applications and Technology

FFormal Methods

Formal Methods

Ver todas las obras de Martin Leucker →