25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : Abstracts - TalTech raamatukogu digikogu

title

25^th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : Abstracts

keywords

programming theory

semantics of programming languages

programming language design

programming methodology

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

language-based security

programmeerimine

teoreetilised aspektid

publishing year

2013

editor

Uustalu, Tarmo

Vain, Jüri

identifier

https://digikogu.taltech.ee/et/Item/f49d7130-3309-404d-b5f5-d86a33549853

https://doi.org/10.23658/taltech.nwpt/2013

ISBN 9789949430703 (pdf)

language

eng

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

Download
pdf 5,68 MB