عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540442898
9783540442899
b552966
Theoretische Informatik :
[Book]
Petri-Netze
Lutz Priese ; Harro Wimmel.
Berlin
Springer
2003
IX, 376 Seiten : Diagramme.
Springer-Lehrbuch.
Petri nets.
Petri-Netz -- Berechenbarkeit -- Erreichbarkeit -- Entscheidbarkeit.
Petri-Netz -- Formale Sprache.
Lutz Priese ; Harro Wimmel.
Harro Wimmel
Lutz Priese
مطالعه متن کتاب [Book]
Y
