خرید و دانلود نسخه کامل کتاب Larch: Languages and Tools for Formal Specification

Larch: زبان ها و ابزارهایی برای مشخصات رسمی

Larch: Languages and Tools for Formal Specification

نویسنده: John V. Guttag, James J. Horning

ناشر: Springer

سال انتشار: 1993

تعداد صفحات: 259

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 573 کیلوبایت