Presentazione dell'autore Daniel Kroening:

Libri pubblicati finora da Daniel Kroening:

Procedure decisionali: Un punto di vista algoritmico - Decision Procedures: An Algorithmic Point of...
Springer Nature
Una procedura decisionale è un algoritmo che, dato...
Procedure decisionali: Un punto di vista algoritmico - Decision Procedures: An Algorithmic Point of View
<<
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)