A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Смотреть Смотреть

Скачано один раз

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ предоставляется

A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest

технические данные

Издатель:
TUT Press
Год издания:
Язык:
aнглийский
Депозитор:
Tallinna Tehnikaülikooli Kirjastus
Тип:
книга
Защищены авторским правом
ESTER
b46703214
ISBN
978-9949-831-00-5

Ссылка: http://www.digar.ee/id/nlib-digar:315497

СМОТРИ ТАКЖЕ