Resenhas - Synchronous Equivalence: Formal Methods for Embedded Systems

Veja as resenhas sobre este livro