1 Introduction.- 2 Discrete Dynamic Systems.- 3 Sequential Systems.- 4 Concurrent Systems.- 5 Business Process Models.- 6 State Spaces.- 7 Comparing Behaviour.- 8 Verification.- References.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición