Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

＜図書＞
Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

責任表示	Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
シリーズ	DIMACS series in discrete mathematics and theoretical computer science ; v. 29
データ種別	図書
出版情報	Providence, R.I. : American Mathematical Society , c1997
本文言語	英語
大きさ	xiv, 403 p. ; 26 cm
概要	The proceedings from the July 1996 workshop surveying the theory and practice of modeling, specifying, and validating concurrent systems. The 18 presentations, developed by researchers from related ...ut diverse fields, focus on practical and theoretical topics in using partial order models, automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The volume also features an e-mail debate regarding the importance of the partial order dichotomy in modeling concurrency. Includes illustrations. Lacks an index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	P 97/PART/2	1997		023211997004686		予約・取寄			予約・取寄

一般注記	Includes bibliographical references
著者標目	*Workshop on Partial Order Methods in Verification ( : 1996 : Princeton University) Peled, Doron, 1962- Pratt, Vaughan R. Holzmann, Gerard J.
件　名	LCSH:Electronic data processing -- Distributed processing -- Congresses 全ての件名で検索 LCSH:Computer software -- Verification -- Congresses 全ての件名で検索
分　類	LCC:QA76.9.D5 DC21:005.2/76
書誌ID	1001401501
ISBN	0821805797
NCID	BA30622932
巻冊次	ISBN:0821805797
登録日	2009.11.02
更新日	2009.11.02