Julkaisuja vuodessa
Julkaisuja vuodessa
Hakutulokset
-
2003
Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts
Sere, K. (toim.) & Walden, M. (toim.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; Vuosikerta 03-34)Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Bert, D. (toim.), Bowen, J. (toim.), King, S. (toim.) & Walden, M. (toim.), 2003, Heidelberg: Springer-Verlag. (LNCS; Vuosikerta 2651)Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
2004
Special issue of the 15th Nordic Workshop on Programming Theory
Sere, K. (toim.) & Walden, M. (toim.), 2004, 2 toim. Turku, Finland: Nordic Journal of Computing.Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
2010
Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010
Walden, M. (toim.) & Petre, L. (toim.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; nro 57)Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
2012
The 22nd Nordic Workshop on Programming Theory (NWPT 2010)
Walden, M. (toim.) & Petre, L. (toim.), 2012, Elsevier.Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
Open access -
2013
Proceedings of the 4th Rodin User and Developer Workshop
Butler, M. (toim.), Hallerstede, S. (toim.) & Walden, M. (toim.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nro 18)Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
2017
Proceedings of the 29th Nordic Workshop on Programming Theory
Walden, M. (toim.), 2017, Turku Centre for Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
2019
NWPT 2017 - Special issue
Walden, M. (toim.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; Vuosikerta 105)Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
Open accessTiedosto17 Lataukset (Pure)