Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ...

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ...

Cormac Flanagan , Barbara König
هنوز رتبه‌بندی نشده است
2012 · انگلیسی · جلد نرم
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب

نقدها

هنوز نظری ثبت نشده است

اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک می‌گذارید

برای بررسی وارد شوید
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب