عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.531
QA
76
.
L28
Vol
.
531
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1990: New Brunswick, NJ, USA
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 372p.: ill
SERIES
Other Title Information
Lecture notes in computer science; 135
GENERAL NOTES
Text of Note
Proceedings are drived from "Computer-Aided Verification", E.M. Clarke, R.P. Kurshan )eds.(, DIMACS Series in Discrete Mathematics and Theoretical Computer Science; 3
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540544771
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
E.M. Clarke, R.P. Kurshan )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Design and construction -- Data processing -- Congresses ، Digital integrated circuits
Entry Element
Congresses ، Computer-aided design
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
531
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Clarke, A. Bruce, 1927-
AU Kurshan, R. P., 1943-
CO Center for Discrete Mathematics and Theoretical Computer Science
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
CAV
