Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika

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
ilmumisaasta
leheküljed
146 p. : ill
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 17/2020
vormimärksõna
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
TTÜ struktuuriüksus
keel
inglise
Maarand, H. Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika. Tallinn : TalTech Press, 2020. 146 p. : ill. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 17/2020).