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

• Material Type: 図書
• ISBN: 3540664998 (pbk)
• ISSN: 0302-9743
• Title: Theoretical and practical aspects of SPIN model checking -- : International SPIN workshop : 5th : Jul 1999, Trento, Italy : International SPIN workshop : 6th : Sep 1999, Toulouse, France.
• Series Title: Lecture Notes in Computer Science ; 1680
• Publication, Distribution, etc.: Berlin : Springer-Verlag
• Publication Date: 1999.
• Publication Date (W3CDTF): 1999
• Extent: v.
• Alternative Title: 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
• Note (General): 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.
• Holding library: 国立国会図書館
• Call No.: M17-01-0599
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003449371; http://id.ndl.go.jp/bib/000003449371
• UKMARC No.: G05875839; G05875905
• Bibliographic Record Category (NDL): 215