Logic for concurrency and synchronisation [electronic resource]

• 其他作者：
  • Queiroz, Ruy J. G. B. de.
  • SpringerLink (Online service)
• 出版： Dordrecht ;Boston : Kluwer Academic Publishers
• 叢書名： Trends in Logic ;v. 18
• 主題： Proof theory. , Modality (Logic) , Parallel programming (Computer science)
• ISBN： 9780306480881 (electronic bk.) 、 9781402012709 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: