Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319522333
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
VMCAI provides 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 International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2017 |
| Udgivelsesdato | 12-01-2017 |
| Første udgivelsesår | 2017 |
| Serie | Theoretical Computer Science and General Issues |
| Illustrationer | 150 Illustrations, black and white; XVII, 560 p. 150 illus. |
| Fagredaktør | Ahmed Bouajjani, David Monniaux |
| Originalsprog | Switzerland |
| Sideantal | 560 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 560 pages, 150 Illustrations, black and white; XVII, 560 p. 150 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319522333 |