Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science, 7935). Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 2013
- Tapa blanda
- Nuevo
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Vendedor de 5 estrellas
Vendedor de IberLibro desde 25 de marzo de 2015
No disponible
Tapa blanda
Condición: Nuevo
EUR 69,15
Descripción del artículo del vendedor
In English.
N° de ref. del artículo ria9783642388552_new
- Título
- Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science, 7935)
- Editorial
- Springer
- Año de publicación
- 2013
- Estado
- New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3642388558
- ISBN 13
- 9783642388552
- Peso del artículo
- 831 gramos
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
“Sinopsis” puede pertenecer a otra edición de este título.
De la contraportada
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science, 7935)
Hay 6 copias más de este libroVer todos los resultados