Date
2002
Indexation documentaire
Informatique générale
Subject
Méthodes formelles; Réseaux de Petri
Titre de l'ouvrage
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications
Auteur
Valk, Rüdiger; Girault, Claude
Nom de l'éditeur
Springer-Verlag
Ville de l'éditeur
Berlin
Année
2002
Nombre total de pages
607
ISBN
3-540-41217-4
