The SPIN verification system -- : SPIN verification system : Workshop : 2nd : Aug 1996, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 32)

The SPIN verification system -- : SPIN verification system : Workshop : 2nd : Aug 1996, New Brunswick, NJ.

(DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 32)

Call No. (NDL): M17-01-1630
Bibliographic ID of National Diet Library: 000003450399

Material type: 図書

Author: DIMACS.

Publisher: American Mathematical Society

Publication date: 1997.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Papers.Index term: SPIN verification system ; DIMACS ; discrete mathematics.BL shelfmark: 3588.4617 vol 32 1997.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0821806807
ISSN: 1052-1798
Title: The SPIN verification system -- : SPIN verification system : Workshop : 2nd : Aug 1996, New Brunswick, NJ.
Series Title: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 32
Author Heading: DIMACS.
Publication, Distribution, etc.: American Mathematical Society
Publication Date: 1997.
Publication Date (W3CDTF): 1997
Extent: v.
Alternative Title: SPIN verification system ; DIMACS ; discrete mathematics
NDLC: M17
Note (General): Papers.
Index term: SPIN verification system ; DIMACS ; discrete mathematics.
BL shelfmark: 3588.4617 vol 32 1997.
Holding library: 国立国会図書館
Call No.: M17-01-1630
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003450399
http://id.ndl.go.jp/bib/000003450399
UKMARC No.: G05313187
Bibliographic Record Category (NDL): 215