pealkiri
31st Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
märksõnad
programming theory
semantics of programming languages
programming language design
programming logics
formal specification of programs
program verification
program construction
program transformation and refinement
real-time and hybrid systems
models of concurrent, distributed and mobile computing
programming methodology
language-based security
programmeerimine
konverentsikogumikud
ilmumisaasta
2019
koostaja
Uustalu, Tarmo
Vain, Jüri
identifikaator
https://doi.org/10.23658/taltech.nwpt/2019
https://digikogu.taltech.ee/et/Item/45714497-266d-441c-8b89-aaa1a22d5022
ISBN 9789949835201 (pdf)
keel
eng
õigused
http://rightsstatements.org/vocab/InC/1.0/
asutus
Tallinn University of Technology
instituut / kolledž
Department of Software Science