Matches in Library of Congress for { <http://lccn.loc.gov/2004109776> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- 2004109776 alternative "11th International Symposium, SAS 2004".
- 2004109776 alternative "Eleventh International Symposium, SAS 2004".
- 2004109776 alternative "International Symposium, SAS 2004".
- 2004109776 alternative "SAS 2004".
- 2004109776 contributor B9880757.
- 2004109776 contributor B9880758.
- 2004109776 created "c2004.".
- 2004109776 date "2004".
- 2004109776 date "c2004.".
- 2004109776 dateCopyrighted "c2004.".
- 2004109776 description "Includes bibliographical references and author index.".
- 2004109776 description "Invited talks -- Program and system verification -- Security and safety -- Pointer analysis -- Abstract interpretation and algorithms -- Shape analysis -- Abstract domain and data structures -- Shape analysis and logic -- Termination analysis.".
- 2004109776 extent "xi, 392 p. :".
- 2004109776 hasFormat "Also issued online.".
- 2004109776 identifier "3540227911 (pbk.)".
- 2004109776 identifier 2004109776-d.html.
- 2004109776 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3148.
- 2004109776 isFormatOf "Also issued online.".
- 2004109776 isPartOf "Lecture notes in computer science, 0302-9743 ; 3148".
- 2004109776 issued "2004".
- 2004109776 issued "c2004.".
- 2004109776 language "eng".
- 2004109776 publisher "Berlin ; New York : Springer,".
- 2004109776 relation "Also issued online.".
- 2004109776 subject "005.13 22".
- 2004109776 subject "Computer programming Congresses.".
- 2004109776 subject "Programming languages (Electronic computers) Congresses.".
- 2004109776 subject "QA76.6 .I5733 2004".
- 2004109776 subject "SAS".
- 2004109776 subject "Static analysis".
- 2004109776 tableOfContents "Invited talks -- Program and system verification -- Security and safety -- Pointer analysis -- Abstract interpretation and algorithms -- Shape analysis -- Abstract domain and data structures -- Shape analysis and logic -- Termination analysis.".
- 2004109776 title "11th International Symposium, SAS 2004".
- 2004109776 title "Eleventh International Symposium, SAS 2004".
- 2004109776 title "International Symposium, SAS 2004".
- 2004109776 title "SAS 2004".
- 2004109776 title "Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.).".
- 2004109776 type "text".