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

Detalles Bibliográficos
Autor principal:	International Static Analysis Symposium (corporate author, -)
Autor Corporativo:	International Static Analysis Symposium Corporate Author (corporate author)
Otros Autores:	Cousot, Radhia. editor (editor)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg 2003.
Edición:	1st ed. 2003.
Colección:	Lecture Notes in Computer Science, 2694
Materias:	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.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713743706719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (XIV, 510 p.)
Bibliografía:	Includes bibliographical references at the end of each chapters and index.
ISBN:	9783540448983

Ejemplares similares