دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

یک منطق برنامه مشاهدهی کامل برای توابع اجباری مرتبه بالاتر

An observationally complete program logic for imperative higher-order functions

27 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

پارامتر کردن برای مشخصات ساختاری انتزاعی

Parameterisation for abstract structured specifications

41 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

6 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Tackling continuous state-space explosion in a Markovian process algebra

33 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Semantic Types and Approximation for Featherweight Java

41 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه