Date
2003
Indexation documentaire
Principes généraux des mathématiques
Subject
symétries; logiques temporelles
Titre de l'ouvrage
Vérification et mise en œuvre des réseaux de Petri
Auteur
M. Diaz
Nom de l'éditeur
Hermes
Ville de l'éditeur
Paris
Année
2003
Nombre total de pages
389
ISBN
2-7462-0445-2
