توضیحات
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
Programming Language Foundations, surveys the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
Programming Language Foundations, surveys the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
جزئیات کتاب
فرمت
کتاب الکترونیکی
زبان
انگلیسی
منتشر شده
Sep 6, 2017