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

Zapisane w:
Opis bibliograficzny
Kolejni autorzy: Diaz, Michel, 1945- (Dyrektor wydawnictwa)
Format: Livre papier
Język:Français
Wydane: Paris : Hermès science : Lavoisier DL 2003.
Seria:Traité IC2 : information - commande - communication. Informatique et systèmes d'information
Hasła przedmiotowe:
Autres localisations: Voir dans le Sudoc
LEADER 00980nam a22002417a 4500
001 193072
008 030115t20032003xxe ||| |||| 00| 0 fre d
009 PPN069292094
020 |a 2746204452 (rel.) :  |c 100 EUR 
024 |a 9782746204454 
041 0 |a fre 
082 |a 003 
082 |a 511.32 
084 |a D.2 
245 0 0 |a Vérification et mise en oeuvre des réseaux de Petri   |c sous la direction de Michel Diaz. 
260 |a Paris :  |b Hermès science :  |b Lavoisier,  |c DL 2003. 
300 |a 1 vol. (389 p.) :  |b ill. ;  |c 25 cm. 
490 0 |a Traité IC2 : information - commande - communication. Informatique et systèmes d'information 
504 |a Notes bibliogr. en fin de chapitres. Index. 
650 |a systèmes informatiques  |x modèles mathématiques 
650 |a Petri, Réseaux de 
700 1 |a Diaz, Michel,  |d 1945-  |4 pbd 
997 |0 193072  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, F11099