Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
author
Maarand, Hendrik
supervisor
Uustalu, Tarmo
author
supervisor
statement of authorship
Hendrik Maarand ; [supervisor Tarmo Uustalu ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TalTech Press
year of publication
2020
pages
146 p. : ill
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 17/2020
subject term
automaaditeooria
programmeerimiskeeled
semantika
subject of form
dissertatsioonid
ISSN
2585-6898
ISBN
978-9949-83-560-7
notes
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
url
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
TalTech department
tarkvarateaduse instituut
language
inglise