Transactions on Petri Nets and Other Models of Concurrency X by Maciej Koutny (E
68,58 €
By Maciej Koutny, Serge Haddad, Jörg Desel. ToPNoC contains - Kleene Theorems for Synchronous Products with Matching. - Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies.
Jetzt bei Ebay: