عنوان

Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings

پدید آورنده

E.M. Clarke, R.P. Kurshan )eds.(

موضوع

Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده

QA

76
.
L28

Vol
.
531

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings

1990: New Brunswick, NJ, USA

Berlin

Springer-Verlag

c1991

xiii, 372p.: ill

Lecture notes in computer science; 135

Proceedings are drived from "Computer-Aided Verification", E.M. Clarke, R.P. Kurshan )eds.(, DIMACS Series in Discrete Mathematics and Theoretical Computer Science; 3

Includes bibliographies

ISBN: 3540544771

E.M. Clarke, R.P. Kurshan )eds.(

Design and construction -- Data processing -- Congresses ، Digital integrated circuits

Congresses ، Computer-aided design

L28

Vol

531

AU Clarke, A. Bruce, 1927-

AU Kurshan, R. P., 1943-

CO Center for Discrete Mathematics and Theoretical Computer Science

CAV

عنوان Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings

پدید آورنده E.M. Clarke, R.P. Kurshan )eds.(

موضوع Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده QA 76 .L28 Vol.531