Date
2002
Indexation documentaire
Informatique générale
Subject
Méthodes formelles (informatique); Réseaux de Pétri
Titre de l'ouvrage
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications
Auteur
C. Girault, R. Valk
Nom de l'éditeur
Springer-Verlag
Ville de l'éditeur
Berlin
Année
2002
Nombre total de pages
607 p.
ISBN
3-540-41217-4
