Theoretical and practical aspects of SPIN model checking -- : International SPIN workshop : 5th : Jul 1999, Trento, Italy : International SPIN workshop : 6th : Sep 1999, Toulouse, France.

• 資料種別: 図書
• ISBN: 3540664998 (pbk)
• ISSN: 0302-9743
• タイトル: Theoretical and practical aspects of SPIN model checking -- : International SPIN workshop : 5th : Jul 1999, Trento, Italy : International SPIN workshop : 6th : Sep 1999, Toulouse, France.
• シリーズタイトル: Lecture Notes in Computer Science ; 1680
• 出版事項: Berlin : Springer-Verlag
• 出版年月日等: 1999.
• 出版年（W3CDTF）: 1999
• 数量: v.
• 並列タイトル等: Theme title: Theoretical aspects of model checking. Also known as 5th SPIN 99. Held as a satellite workshop of the federated logic conference, known as FLoC '99; SPIN ; SPIN model checking ; logic; Theme title: Practical aspects of model checking. Also known as 6th SPIN 99. Held as a user group meeting within the world congress on formal methods in the development of computing systems, known as FM '99; SPIN ; SPIN model checking ; formal methods ; computing systems
• NDLC: M17
• 一般注記: Selected papers.; Theme title: Theoretical aspects of model checking. Also known as 5th SPIN 99. Held as a satellite workshop of the federated logic conference, known as FLoC '99.; Index term: SPIN ; SPIN model checking ; logic.; Papers.; Theme title: Practical aspects of model checking. Also known as 6th SPIN 99. Held as a user group meeting within the world congress on formal methods in the development of computing systems, known as FM '99.; Index term: SPIN ; SPIN model checking ; formal methods ; computing systems.; BL shelfmark: 5180.185 [no] 1680 1999.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-01-0599
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003449371; http://id.ndl.go.jp/bib/000003449371
• UKMARC番号: G05875839; G05875905
• 整理区分コード: 215