Logic for Concurrency and Synchronisation
- ISBN
- 9789401740005
Logic for Concurrency and Synchronisation è un proof theory, modality book di R.J. De Queiroz.
Scopri Logic for Concurrency and Synchronisation di R.J. De Queiroz, proof theory.
Sull'Autore
R.J. De Queiroz è l'autore di Logic for Concurrency and Synchronisation. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Logic for Concurrency and Synchronisation?+
Logic for Concurrency and Synchronisation è un libro di Proof theory, Modality, Parallel programming.
Chi ha scritto Logic for Concurrency and Synchronisation?+
Logic for Concurrency and Synchronisation è stato scritto da R.J. De Queiroz.