Logic for concurrency and synchronisation /

书目详细资料
主要作者:	Queiroz, Ruy J.G.B. de
格式:
语言:	eng
出版:	Dordrecht : Kluwer Academic Pubs, 2003
主题:	Proof theory Modality (Logic) Parallel programming (Computer science)

实物特征
总结:	41

相似书籍