標題 Partial order methods in verification : DIMACS workshop July 24-26, 1996 / Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.

出版資料	Providence, R.I : American Mathematical Society, c1997.

複本

館藏地	索書號	狀態
IU 2nd Floor	QA76.9.D5 P368 1997	AVAILABLE

說明	xiv, 403 p : ill ; 26 cm.
系列	DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 29
Notes	"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Bibliography	Includes bibliographical references.
主題	Electronic data processing -- Distributed processing -- Congresses.
	Computer software -- Verification -- Congresses.
添加作者	Peled, Doron, 1962-
	Pratt, Vaughan R.
	Holzmann, Gerard J.
	DIMACS (Group)
	Workshop on Partial Order Methods in Verification (1996 : Princeton University)
國際標準書號	0821805797