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مشناسه های افزوده
زبان
انگلیسیفهرست نویس
کانورتور