Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783642540127
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2014 ed. |
| Udgivelsesdato | 22-01-2014 |
| Første udgivelsesår | 2014 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 120 Illustrations, black and white; XVIII, 493 p. 120 illus. |
| Fagredaktør | Kenneth McMillan, Xavier Rival |
| Originalsprog | Germany |
| Sideantal | 493 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 493 pages, 120 Illustrations, black and white; XVIII, 493 p. 120 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783642540127 |