Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, Ta

book

発売日

: 2011年

著者/編集

: Parosh Aziz Abdulla/K. Rustan M. Leino

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642198342