Coverart for item
The Resource Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings, Doron A. Peled, Yih-Kuen Tsay (eds.), (electronic resource)

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings, Doron A. Peled, Yih-Kuen Tsay (eds.), (electronic resource)

Label
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Title
Automated technology for verification and analysis
Title remainder
third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Statement of responsibility
Doron A. Peled, Yih-Kuen Tsay (eds.)
Title variation
ATVA 2005
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OHX
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
ATVA 2005
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
  • 1962-
  • 1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Peled, Doron A.
  • Tsay, Yih-Kuen
Series statement
Lecture notes in computer science,
Series volume
3707
http://library.link/vocab/subjectName
Automatic theorem proving
Label
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings, Doron A. Peled, Yih-Kuen Tsay (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
ssj0000316403
Dimensions
unknown
Extent
1 online resource (xii, 506 p.)
Form of item
online
Governing access note
Access restricted to subscribing institutions
Isbn
9783540292098
Isbn Type
(pbk.)
Lccn
2005932760
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000316403
Label
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings, Doron A. Peled, Yih-Kuen Tsay (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
ssj0000316403
Dimensions
unknown
Extent
1 online resource (xii, 506 p.)
Form of item
online
Governing access note
Access restricted to subscribing institutions
Isbn
9783540292098
Isbn Type
(pbk.)
Lccn
2005932760
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000316403

Library Locations

    • Ladd LibraryBorrow it
      48 Campus Ave, Lewiston, ME, 04240, US
      44.105245 -70.203443
Processing Feedback ...