Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.). (Lecture notes in computer science)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.).

(Lecture notes in computer science)

Call No. (NDL): M15-A7757
Bibliographic ID of National Diet Library: 000003199853

Material type: 図書

Author: DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science)ほか

Publisher: Springer-Verlag

Publication date: c1991.

Material Format: Paper

Capacity, size, etc.: xiii, 372 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: "Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref.

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: 3540544771 (Berlin : alk. paper)
0387544771 (N.Y. : alk. paper)
Title: Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.).
Series Title: Lecture notes in computer science
Author Heading: DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
Clarke, E. M., 1945-
Kurshan, R. P., 1943-
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1991.
Publication Date (W3CDTF): 1991
Extent: xiii, 372 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Digital integrated circuits -- Design adn construction -- Data processing -- congresses.
Computer-aided design -- Congresses.
LCC: TK7874
DDC: 621.381/5
NDLC: M15
ND
Note (General): "Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A7757
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003199853
http://id.ndl.go.jp/bib/000003199853
LC Control Number: 91026277
https://lccn.loc.gov/91026277
Bibliographic Record Category (NDL): 211