Normal view MARC view ISBD view

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.).

By: (12th : International Static Analysis Symposium (12th : 2005 : London, England).
Contributor(s): Hankin, Chris | Siveroni, Igor.
Material type: TextTextSeries: Springer.Lecture notes in computer science: 3672.Publisher: Berlin ; New York : Springer, c2005Description: 1 online resource (x, 367 p.) : ill.ISBN: 9783540319719; 3540319719; 3540285849; 9783540285847; 6611405496; 9786611405496.Other title: SAS 2005.Subject(s): Computer programming -- Congresses | Programming languages (Electronic computers) -- CongressesAdditional physical formats: Print version:: Static analysis.LOC classification: QA76.6 | .I5733 2005Online resources: Click here to view this ebook. Summary: "This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online
QA76.6 .I5733 2005 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/11547662 Available ocn262681399
Browsing UT Tyler Online Shelves , Shelving location: Online Close shelf browser
QA76.6 .G373 2004 Global computing : QA76.6 .G4744 1991 First-order programming theories / QA76.6 .I164 2004 Theoretical aspects of computing : QA76.6 .I5733 2005 Static analysis : QA76.6 .I5733 2006 Static analysis : QA76.6 .I5733 2007 Static analysis : QA76.6 .J6578 2006 Modular programming languages :

"12th International Static Analysis Symposium ... held ... at Imperial College London"--Pref.

Includes bibliographical references and index.

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.