logo
Autor
Maarand, Hendrik, 1988-
Pealkiri
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika / Hendrik Maarand ; [supervisor Tarmo Uustalu ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
Ilmumisandmed
Tallinn : TalTech Press, 2020
Füüsiline kirjeldus
146 lk. ; 25 cm
Seeria pealkiri
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö, ISSN 2585-6898 ; 17/2020
Tallinna Tehnikaülikool. Doktoritöö, ISSN 2585-6898 ; 2020, 17
ISBN
9789949835607
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2020
Bibliograafia lk. 117-123
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
automaaditeooria; programmeerimiskeeled; semantika; dissertatsioonid
Teised autorid
Uustalu, Tarmo, 1969-, juhendaja
Kollektiivautorid
Tallinna Tehnikaülikool. Tarkvarateaduse instituut
UDK
004.43 (043)
Rööppealkiri
Nõrga jadakompositsiooni operatsioonsemantika
Teine kandja
Operational semantics of weak sequential composition (võrguteavik). 9789949835614 (pdf)