1
Pubblicazione 2006
Sommario: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Testo
Elettronico eBook