Coverart for item
The Resource Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings, Susanne Graf, Wenhui Zhang (eds.)

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings, Susanne Graf, Wenhui Zhang (eds.)

Label
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
Title
Automated technology for verification and analysis
Title remainder
4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
Statement of responsibility
Susanne Graf, Wenhui Zhang (eds.)
Title variation
ATVA 2006
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
A82 2006
Literary form
non fiction
Series statement
Lecture notes in computer science,
Series volume
4218
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings, Susanne Graf, Wenhui Zhang (eds.)
Label
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings, Susanne Graf, Wenhui Zhang (eds.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540472377&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b2160697'}
Extent
xiv, 540 p.
Isbn
9783540472377
Isbn Type
(pbk.)
Lccn
2006934115
Other physical details
ill.
System control number
(OCoLC)74270427

Library Locations

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