西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

Berlin ; New York : Springer-Verlag, c1991.

ISBN:

3540544771

ISBN:

0387544771

载体形态项:

xiii, 372 p. : ill. ; 24 cm.

丛编题名:

Lecture notes in computer science ; 531

会议名称:

DIMACS Workshop on Computer-Aided Verification (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)

附加个人名称:

Kurshan, R.P., 1943-

附加个人名称:

Clarke, E.M., 1945-

论题主题:

Computer-aided design-Congresses.

论题主题:

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

中图法分类号:

TP391.7-53

书目附注:

Includes bibliographical references.

豆瓣简介：