<図書>

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid

(Lecture notes in computer science;1032)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1032 2012607137

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ 142 p. : ill. ; 24 cm
一般注記 Includes bibliographical references (p. [133]-142) and index
著者標目 *Godefroid, Patrice
件 名 LCSH:Parallel processing (Electronic computers)
LCSH:Computer software -- Verification
分 類 NDC9:007.64
LCC:QA76.58
DC20:005.2
本文言語 英語
書誌ID 2000488443
ISBN 3540607617
NCID BA26916248 WCLINK

類似資料

  1. 1 Parallel algorithms for irregularly structured problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 : proceedings / Afonso Ferreira, José Rolim (eds.)
  2. 2 Software for parallel computation / edited by Janusz S. Kowalik, Lucio Grandinetti
  3. 3 Parallel symbolic languages and systems : International Workshop PSLS '95 Beaune, France, October 2-4, 1995 : proceedings / Takayasu Ito, Robert H. Halstead, Jr., Christeian Queinnec (eds.)
  4. 4 Task scheduling in parallel and distributed systems / Hesham El-Rewini, Theodore G. Lewis, Hesham H. Ali
  5. 5 Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings / Utpal Banerjee ... [et al.], (eds.)
  6. 6 Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings / K. Pingali ... [et al.]
  7. 7 Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings / Utpal Banerjee ... [et al.] (eds.)
  8. 8 Algorithms and parallel VLSI architectures III : proceedings of the International Workshop, Algorithms and Parallel VLSI Architectures III, Leuven, Belgium, August 29-31, 1994 / edited by Marc Moonen, Francky Catthoor
  9. 9 Tools and environments for parallel and distributed systems / edited by Amr Zaky, Ted Lewis
  10. 10 Parallel symbolic computing : languages, systems, and applications : US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, (eds.)

検索結果一覧に戻る ページトップ