1
Veröffentlicht 2006
Inhaltsangabe: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Volltext
Elektronisch E-Book