von
Preis unbekannt
Johan Lilius
Factor algorithms behavioral programming colored petri nets data structures deadlocks distributed systems modeling modeling language petri nets process mining programming real-time systems state space verification