Deductive Software Verification – The KeY Book: From Theory to Practice
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319498119
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2016 |
| Udgivelsesdato | 21-12-2016 |
| Første udgivelsesår | 2016 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 110 Illustrations, black and white; XXXII, 702 p. 110 illus. |
| Fagredaktør | Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hahnle, Peter H. Schmitt, Mattias Ulbrich |
| Originalsprog | Switzerland |
| Sideantal | 702 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 702 pages, 110 Illustrations, black and white; XXXII, 702 p. 110 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319498119 |