1
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook