Cover Image

Computer-aided verification : proceedings /

Bibliographic Details
Corporate Authors: CAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), CAV (Conference)
Other Authors: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Kurshan, R. P., 1943-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Lecture notes in computer science ; 531.
Subjects:
Digital integrated circuits > Design and construction > Data processing > congresses.
Computer-aided design > Congresses.
Description
Item Description:"Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref.
Physical Description:ix, 372 pages : illustrations ; 25 cm.
ISBN:3540544771 (Berlin : alk. paper)
0387544771 (N.Y. : alk. paper)