Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

Saved in:
Bibliographic Details
Corporate Author: CAV (Conference) New Brunswick, N.J.)
Other Authors: Clarke, E. M., 1945-, Kurshan, R. P., 1943-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1991.
Series:Lecture notes in computer science ; 531.
Subjects:
Digital integrated circuits > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Description
Physical Description:xiii, 372 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540544771
0387544771

Similar Items