Coverart for item
The Resource Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings, Eran Yahav (ed.), (electronic resource)

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings, Eran Yahav (ed.), (electronic resource)

Label
Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
Title
Static analysis
Title remainder
18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
Statement of responsibility
Eran Yahav (ed.)
Title variation
SAS 2011
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
C$Q
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • Advanced research in computing and software science
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
6887.
Label
Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings, Eran Yahav (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-23702-7
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
ocn753986895
Extent
1 online resource (xii, 385 p.)
Form of item
online
Isbn
9783642237027
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-642-23701-0
System control number
(OCoLC)753986895
Label
Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings, Eran Yahav (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-23702-7
Publication
Bibliography note
Includes bibliographical references and index
Control code
ocn753986895
Extent
1 online resource (xii, 385 p.)
Form of item
online
Isbn
9783642237027
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-642-23701-0
System control number
(OCoLC)753986895

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...