Bemærk: Kan ikke leveres før jul.
Forventes på lager: 13-09-2016
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2016 |
| Udgivelsesdato | 13-09-2016 |
| Første udgivelsesår | 2016 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 38 Illustrations, black and white; XIV, 193 p. 38 illus. |
| Fagredaktør | Kim Guldstrand Larsen, Igor Potapov, Jiri Srba |
| Originalsprog | Switzerland |
| Sideantal | 193 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 193 pages, 38 Illustrations, black and white; XIV, 193 p. 38 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319459936 |