Logic for concurrency and synchronisation

作者：edited by Ruy J.G.B. de Queiroz.
出版社：Kluwer Academic Publishers
ISBN：9780306480881 (electronic bk.) ; 9781402012709 (paper)
出版日期：c2003.
其他作者：Queiroz, Ruy J. G. B. de.
語言：zh
出版地：Dordrecht ; Boston :
內容簡介

xxi, 284 p. ::ill., digital ;:25 cm.

搜尋同作者