Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on



Bok Engelsk
ISBN
1-4244-4806-9

Bibliotek som har denne