Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319197968
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2015 ed. |
| Udgivelsesdato | 12-06-2015 |
| Første udgivelsesår | 2015 |
| Serie | Programming and Software Engineering |
| Illustrationer | 44 Illustrations, black and white; XIV, 323 p. 44 illus. |
| Fagredaktør | Ralf Hinze, Janis Voigtlander |
| Originalsprog | Switzerland |
| Sideantal | 323 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 323 pages, 44 Illustrations, black and white; XIV, 323 p. 44 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319197968 |