Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
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
year of publication
pages
146 p. : ill
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 17/2020
subject term
subject of form
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
TTÜ department
language
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).