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

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

Label
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
Title
Computer-aided verification
Title remainder
2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
Statement of responsibility
E.M. Clarke, R.P. Kurshan (eds.)
Title variation
Computer-aided verification '90
Creator
Contributor
Subject
Genre
Member of
Series statement
Lecture notes in computer science
Series volume
531
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings, E.M. Clarke, R.P. Kurshan (eds.)
Label
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings, E.M. Clarke, R.P. Kurshan (eds.)
Publication
Note
'Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991'--Pref
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540544777&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1216314'}
Extent
xiii, 372 p.
Isbn
9783540544777
Isbn Type
(Berlin : alk. paper)
Lccn
91-26277
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...