10 libri per 10 euro qui
Bookbot

Karsten Strehl Libri

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