1
Wydane 2007
Spis treści: ...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...
Dokumenty pełnotekstowe
Elektroniczne E-book