Tools and algorithms for the construction and analysis of systems : 5th Intern. Conf., TACAS'99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS'99, Amsterdam, March 22-28, 1999 ; proc.
Tools and algorithms for the construction and analysis of systems : 5th Intern. Conf., TACAS'99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS'99, Amsterdam, March 22-28, 1999 ; proc.
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
print book
زبان
english
تاریخ انتشار
1999
شابک
978-3-540-65703-3
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران