Concrete Semantics
/ Tobias Nipkow ; Gerwin Klein
طبع 1
978-3-319-10542-0
قائمة
شناسنامه
العنوان واسم المؤلف
Concrete Semantics / / Tobias Nipkow ; Gerwin Kleinبيانات النشر
: Springer، 2014مالمعرّفات المضافة
نویسنده.
اللغة
انگلیسیالفهرس
کانورتور
/ Tobias Nipkow ; Gerwin Klein
طبع 1
978-3-319-10542-0
العنوان واسم المؤلف
Concrete Semantics / / Tobias Nipkow ; Gerwin Kleinبيانات النشر
: Springer، 2014مالمعرّفات المضافة
اللغة
انگلیسیالفهرس
کانورتور