Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
autor
Maarand, Hendrik
juhendaja
Uustalu, Tarmo
autor
juhendaja
vastutusandmed
Hendrik Maarand ; [supervisor Tarmo Uustalu ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
TalTech Press
ilmumisaasta
2020
leheküljed
146 p. : ill
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 17/2020
märksõna
automaaditeooria
programmeerimiskeeled
semantika
vormimärksõna
dissertatsioonid
ISSN
2585-6898
ISBN
978-9949-83-560-7
märkused
Includes bibliogr
Kättesaadav ka võrguteavikuna
Kokkuvõte eesti keeles
Autori CV inglise ja eesti keeles, lk. 144-146
Thesis (Ph.D., Informatics) : Tallinn University of Technology, 2020
leitav
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise