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

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

Enregistré dans:
Détails bibliographiques
Autres auteurs : Diaz Michel (Directeur de publication)
Format : Livre
Langue : français
Titre complet : Vérification et mise en oeuvre des réseaux de Petri / sous la dir. de Michel Diaz
Publié : Paris : Hermès Science , 2003
Lavoisier
Description matérielle : 389 p.
Collection : IC2 Série Informatique et systèmes d'information
Sujets :
Systèmes informatiques > Modèles mathématiques
Petri, Réseaux de
Description
Bibliographie : Notes bibliogr. en fin de chapitres. Index.
ISBN : 2-7462-0445-2