انتقال ها و درختان: مقدمه ای بر معناشناسی عملیاتی ساختاری
Transitions and Trees: An Introduction to Structural Operational Semantics
نویسنده: Hans Hüttel
ناشر: Cambridge University Press
سال انتشار: 2010
تعداد صفحات: xviii+272 [291]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت