- Tytuł pełny:
- Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girauld, Rüdiger Valk
- Autorzy:
- Girauld, Claude
Valk, Rüdiger - Współtwórcy:
- Springer-Verlag. wydawca, nakładca (publisher)
- Wydawca:
- Berlin ; Heidelberg : Springer Verlag
- Rok wydania:
- cop. 2003
- Opis fizyczny:
- XVI, 607 s. : il. ; 24 cm
- ISBN:
- 3540412174
- Temat:
- Sieci Petriego
Inżynieria systemów
Formal methods (Computer science)
Systems engineering
Petri nets
Informatyka i technologie informacyjne
Matematyka - Gatunek / Forma:
- Książki
- UKD:
- 519.1
- Książka