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

Скачано 2 раз

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

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

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

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

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

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

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

СМОТРИ ТАКЖЕ