Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319109350
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2014 ed. |
| Udgivelsesdato | 20-08-2014 |
| Første udgivelsesår | 2014 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 97 Illustrations, black and white |
| Fagredaktør | Markus Muller-Olm, Helmut Seidl |
| Originalsprog | Switzerland |
| Sideantal | 337 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 337 pages, 97 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319109350 |