Presentazione dell'autore B. Berard:

Libri pubblicati finora da B. Berard:

Verifica di sistemi e software: Tecniche e strumenti di verifica dei modelli - Systems and Software...
Springer Nature
Il model checking è un approccio potente per la...
Verifica di sistemi e software: Tecniche e strumenti di verifica dei modelli - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)