Concrete Semantics
/ Tobias Nipkow ; Gerwin Klein
Edition 1
978-3-319-10542-0
list
شناسنامه
Title and Author
Concrete Semantics / / Tobias Nipkow ; Gerwin KleinPublication Details
: Springer، 2014مAdded Identifiers
نویسنده.
Language
انگلیسیCataloger
کانورتور