Tools and Algorithms for the Construction and Analysis of Systems
Parosh Aziz Abdulla, K. Rustan M. Leino
Häftad
719 kr
Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Häftad, Engelska, 2013
649 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 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Produktinformation
- Utgivningsdatum2013-09-13
- Mått155 x 235 x 13 mm
- Vikt365 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor223
- Upplaga2013
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642410352
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 15691
Foundations of Software Science and Computation Structures
Parosh Aziz Abdulla, Delia Kesner
Häftad
549 kr
Del 9944
Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Igor Potapov, Oleksii Ignatenko, Roman Hornung, Andrii Hlybovets, Vitaliy Yakovyna, Yaroslav Prytula, Oleksandr Spivakovsky
Häftad
1 129 kr
Del 11123
Del 9899
Reachability Problems
Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, Jiri Srba, Ji¿í Srba
Häftad
709 kr
Del 8762
Del 9328
Del 11674
Reachability Problems
Emmanuel Filiot, Raphaël Jungers, Igor Potapov, Raphael Jungers, Igor Jungers, Raphaël
Häftad
709 kr
Del 9168