Normal view MARC view ISBD view

Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.).

By: (14th : International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark).
Contributor(s): Nielson, Hanne Riis, 1954- | Filé, Gilberto, 1951-.
Material type: TextTextSeries: Springer.Lecture notes in computer science: 4634.; LNCS sublibrarySL 2Programming and software engineering: Publisher: Berlin ; New York : Springer, c2007Description: 1 online resource (xi, 467 p.) : ill.ISBN: 9783540740605 (pbk.); 3540740600 (pbk.); 9783540740612; 3540740619; 6611353399; 9786611353391.Other title: SAS 2007.Subject(s): Computer programming -- Congresses | Programming languages (Electronic computers) -- CongressesAdditional physical formats: Print version:: Static analysis.LOC classification: QA76.6 | .I5733 2007Online resources: Click here to view this ebook.
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 2007 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2 Available ocn168590905
Browsing UT Tyler Online Shelves , Shelving location: Online Close shelf browser
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 : QA76.6 .L5125 2007 Cooperative bug isolation : QA76.6 .M4255 2004 Machines, computations, and universality :

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.