1
Wydane 2006
Spis treści: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Dokumenty pełnotekstowe
Elektroniczne E-book