Tools and Algorithms for the Construction and Analysis of Systems
Parosh Aziz Abdulla, K. Rustan M. Leino
Häftad
719 kr
Del i serien Lecture Notes in Computer Science
Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Häftad, Engelska, 2013
669 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
559 kr
Del 9944
Del 2359
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 219 kr
Del 11123
Del 9899
Del 8762
Del 9328
Del 11674
Del 9168