We hebben 2 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 en Foundations And Trends? In Programming Languages- Probabilistic Trace And Testing Semantics.