Presentazione dell'autore David Harel:

Libri pubblicati finora da David Harel:

Algoritmica: Lo spirito del calcolo - Algorithmics: The Spirit of Computing
Springer Nature
L'informatica è la scienza del futuro e già oggi è alla base di ogni aspetto del...
Algoritmica: Lo spirito del calcolo - Algorithmics: The Spirit of Computing
Algoritmica - Lo spirito del calcolo - Algorithmics - The Spirit of Computing
Pearson Education
Algoritmica" presenta i concetti, i metodi e i risultati più importanti che...
Algoritmica - Lo spirito del calcolo - Algorithmics - The Spirit of Computing
Algoritmica: Lo spirito dell'informatica - Algorithmics: The Spirit of Computing
Springer Nature
Preliminari. - e Rassegna storica. - Algoritmi e dati. - Linguaggi e...
Algoritmica: Lo spirito dell'informatica - Algorithmics: The Spirit of Computing
Logica dinamica - Dynamic Logic
Mit Pr
Questo libro fornisce la prima introduzione completa alla logica dinamica .Tra i molti approcci al ragionamento formale sui programmi, la logica dinamica...
Logica dinamica - Dynamic Logic
<<
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)