> > > > marco-bernardo

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.