pealkiri
20th Nordic Workshop on Programming Theory NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : 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
tools for program verification and construction
programming methodology
programmeerimine
teoreetilised aspektid
ilmumisaasta
2008
koostaja
Uustalu, Tarmo
Vain, Jüri
Ernits, Juhan
identifikaator
https://digikogu.taltech.ee/et/Item/85d968ba-6f29-48df-bc1a-9892cec771af
https://doi.org/10.23658/taltech.nwpt/2008
keel
eng
seos
ISBN 9789949430246
õigused
http://rightsstatements.org/vocab/InC/1.0/
asutus
Tallinn University of Technology
Institute of Cybernetics at Tallinn University of Technology
instituut / kolledž
Department of Computer Science