We hebben 4 boeken gevonden van de auteur Marco Bernardo
Hieronder vindt u een lijst met alle gevonden boeken van de auteur Marco Bernardo.
De meest gevonden boeken zijn Formal Methods For Hardware Verification, Foundations And Trends? In Programming Languages- Probabilistic Trace And Testing Semantics, Formal Methods For The Design Of Real-time Systems en Formal Methods For Computational Systems Biology.