Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / edited by Jens Palsberg, Zhendong Su.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invit...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Palsberg, Jens (Editor), Su, Zhendong (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Programming and Software Engineering ; 5673
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Software engineering.
Computer programming.
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Copy 1 Available

Similar Items