Presentazione dell'autore Leslie Lamport:

Libri pubblicati finora da Leslie Lamport:

Specificare i sistemi: Il linguaggio Tla+ e gli strumenti per ingegneri hardware e software -...
Addison Wesley Pub Co Inc
Questo libro è il distillato di oltre 25 anni di...
Specificare i sistemi: Il linguaggio Tla+ e gli strumenti per ingegneri hardware e software - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
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)