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

pealkiri

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

märksõnad

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

ilmumisaasta

2013

koostaja

Uustalu, Tarmo

Vain, Jüri

identifikaator

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

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

ISBN 9789949430703 (pdf)

keel

eng

õ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

Laadi alla
pdf 5,68 MB