
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings
فرمت کتاب
computer file
زبان
english
تاریخ انتشار
1996
شابک
9783540498742
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران