Gratisversand in ganz Deutschland!
Bookbot

Karsten Strehl Bücher

    Symbolic methods applied to formal verification and synthesis in embedded systems design