Presentazione dell'autore Talia Ringer:

Libri pubblicati finora da Talia Ringer:

Qed in libertà: Un'indagine sull'ingegneria del software formalmente verificato - Qed at Large: A...
Lo sviluppo di prove formali di correttezza dei...
Qed in libertà: Un'indagine sull'ingegneria del software formalmente verificato - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
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)