Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Bibliographic Details
Main Author: International Static Analysis Symposium (corporate author, -)
Corporate Author: International Static Analysis Symposium Corporate Author (corporate author)
Other Authors: Cousot, Radhia. editor (editor)
Format: eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg 2003.
Edition:1st ed. 2003.
Series:Lecture Notes in Computer Science, 2694
Subjects:
Programming languages (Electronic computers).
Computer science.
Computer programming.
Software engineering.
Computer logic.
Mathematical logic.
Programming Languages, Compilers, Interpreters.
Computer Science, general.
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713743706719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (XIV, 510 p.)
Bibliography:Includes bibliographical references at the end of each chapters and index.
ISBN:9783540448983

Similar Items