Petri nets for systems engineering : a guide to modeling, verification, and applications

Gardado en:
Detalles Bibliográficos
Auteurs principaux: Girault, Claude, 19..-...., informaticien, Valk, Rüdiger (Auteur)
Formato: Livre papier
Idioma:Anglais
Publicado: Berlin ; Heidelberg ; New-York : Springer cop. 2010.
Sujets:
Autres localisations: Voir dans le Sudoc
Descripción
Descrición Física:1 vol. (XVI-607 p.) : ill. ; 24 cm.
Bibliografía:Bibliogr. p. 571-599. Index
ISBN:9783642074479 (br.)