Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Häftad, Engelska, 2016
Av Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, Jiri Srba, Ji¿í Srba
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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;
Produktinformation
- Utgivningsdatum2016-09-13
- Mått155 x 235 x 12 mm
- Vikt324 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor193
- FörlagSpringer International Publishing AG
- ISBN9783319459936
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Reactive Systems
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba, Reykjavik) Aceto, Luca (University of Iceland, Reykjavik) Ingolfsdottir, Anna (University of Iceland, Denmark) Larsen, Kim Guldstrand (Aalborg University, Denmark) Srba, Jiri (Aalborg University, Anna Ingolfsdottir
1 479 kr