Logic for Concurrency and Synchronisation
- ISBN
- 9789401740005
Logic for Concurrency and Synchronisation est un proof theory, modality book de R.J. De Queiroz.
Découvrez Logic for Concurrency and Synchronisation de R.J. De Queiroz, proof theory.
À propos de l'auteur
R.J. De Queiroz est l'auteur de Logic for Concurrency and Synchronisation. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Logic for Concurrency and Synchronisation ?+
Logic for Concurrency and Synchronisation est un livre de Proof theory, Modality, Parallel programming.
Qui a écrit Logic for Concurrency and Synchronisation ?+
Logic for Concurrency and Synchronisation a été écrit par R.J. De Queiroz.