title
20th Nordic Workshop on Programming Theory NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : Abstracts
keywords
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
publishing year
2008
editor
Uustalu, Tarmo
Vain, Jüri
Ernits, Juhan
identifier
https://digikogu.taltech.ee/et/Item/85d968ba-6f29-48df-bc1a-9892cec771af
https://doi.org/10.23658/taltech.nwpt/2008
language
eng
relation
ISBN 9789949430246
rights
http://rightsstatements.org/vocab/InC/1.0/
institution
Tallinn University of Technology
Institute of Cybernetics at Tallinn University of Technology
department / college
Department of Computer Science