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
Coloured Petri Nets

Tapa de Coloured Petri Nets

Número de Cutter-SanbornJ54cEntrada «Jenn» → 54 · marca de obra “c”

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

de Kurt Jensen, Lars M. Kristensen

Materias

Petri nets
Computer simulation
Computer network architectures
Computer science
Software engineering

Ediciones (1)

Coloured Petri Nets (2009)
Springer · inglés · ISBN 9783642002847

Más obras de Kurt Jensen

DDelta semantics defined by Petri nets

Delta semantics defined by Petri nets

1979

AA petri net definition of a system description language

A petri net definition of a system description language

1979

Tapa de Coloured Petri Nets, Vol. 3

Coloured Petri Nets, Vol. 3

Coloured Petri Nets — Kurt Jensen, Lars M. Kristensen | Cutter Number

1997

Tapa de Transactions On Petri Nets And Other Models Of Concurrency

Transactions On Petri Nets And Other Models Of Concurrency

Tapa de Transactions On Petri Nets And Other Models Of Concurrency I

Transactions On Petri Nets And Other Models Of Concurrency I

Tapa de Transactions On Petri Nets And Other Models Of Concurrency V

Transactions On Petri Nets And Other Models Of Concurrency V

Ver todas las obras de Kurt Jensen →