Logic for Concurrency and Synchronisation
- ISBN
- 9789401740005
Logic for Concurrency and Synchronisation, R.J. De Queiroz tarafından yazılmış bir proof theory, modality book.
R.J. De Queiroz tarafından yazılan Logic for Concurrency and Synchronisation kitabını keşfedin, proof theory.
Yazar Hakkında
R.J. De Queiroz Logic for Concurrency and Synchronisation kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
Logic for Concurrency and Synchronisation hangi türde?+
Logic for Concurrency and Synchronisation bir Proof theory, Modality, Parallel programming kitabıdır.
Logic for Concurrency and Synchronisation kitabını kim yazdı?+
Logic for Concurrency and Synchronisation, R.J. De Queiroz tarafından yazılmıştır.