Vérification et mise en oeuvre des réseaux de Petri

Vérification et mise en oeuvre des réseaux de Petri

Enregistré dans:
Bibliografiske detaljer
Andre forfattere: Diaz, Michel, 1945- (Directeur de la publication)
Format: Livre papier
Sprog:Français
Udgivet: Paris : Hermès science : Lavoisier DL 2003.
Serier:Traité IC2 : information - commande - communication. Informatique et systèmes d'information
Fag:
systèmes informatiques > modèles mathématiques
Petri, Réseaux de
Autres localisations: Voir dans le Sudoc

Lignende værker

Lignende værker