logo
E-väljaanne
Autor
Maarand, Hendrik, 1988-
Pealkiri
Operational semantics of weak sequential composition [Võrguteavik] = 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
1 võrguväljaanne (146 lk. ; pdf)
Seeria pealkiri
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö, ISSN 2585-6901 ; 17/2020
Tallinna Tehnikaülikool. Doktoritöö (võrguteavik), ISSN 2585-6901 ; 2020, 17
ISBN
9789949835614 (pdf)
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2020
Sisaldab bibliograafiat
Kokkuvõte eesti keeles
Pealkiri võetud tiitelkuvalt (kirjeldatud 10.08.2020)
Täiendav kandja
Kättesaadav ka trükisena
Märksõnad
automaaditeooria; programmeerimiskeeled; semantika; dissertatsioonid; e-raamatud
Teised autorid
Uustalu, Tarmo, 1969-, juhendaja
Kollektiivautorid
Tallinna Tehnikaülikool. Tarkvarateaduse instituut
UDK
004.43 (043) (0.034)
Rööppealkiri
Nõrga jadakompositsiooni operatsioonsemantika [Võrguteavik]
Teine kandja
Operational semantics of weak sequential composition. 9789949835607