1
Wydane 2007
Spis treści: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2008
Spis treści: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Dokumenty pełnotekstowe
Elektroniczne E-book