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
Critical Systems

Tapa de Critical Systems

Número de Cutter-SanbornP498cEntrada «Petru» → 498 · marca de obra “c”

Critical Systems

de Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

Materias

Computer science
Software engineering
Computer programs
Computer software, verification

Ediciones (1)

Critical Systems (2017)
Springer · ISBN 9783319671123

Más obras de Laure Petrucci

Critical Systems — Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti | Cutter Number

Tapa de Application and Theory of Petri Nets

Application and Theory of Petri Nets

DDistibuted Systems

Distibuted Systems

MModels and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

AApplication and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

FFormal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

TTransactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency XVIII

Ver todas las obras de Laure Petrucci →