فقط یک ISBN را اسکن کنید تا بلافاصله به کتابخانه شما اضافه شود. هم اکنون در دسترس برای iOS و Android.
Tim Denvir
spai International Symposium of Formal Methods Europe 1994 Barcelona
Cliff B. Jones
ما از کوکیها برای بهبود تجربه شما و تجزیه و تحلیل ترافیک سایت استفاده میکنیم. شما میتوانید انتخاب کنید کدام کوکیها را بپذیرید.
برای کارکرد وبسایت لازم است. نمیتوان غیرفعال کرد.
به ما کمک کنید تا درک کنیم بازدیدکنندگان چگونه با وبسایت ما تعامل دارند.
برای ارائه تبلیغات مرتبط و ردیابی کمپینها استفاده میشود.
