Showing 1 - 6 results of 6 for search 'Kaijanaho, Antti-Juhani', query time: 0.01s Refine Results
  1. 1
    The formal method known as B and a sketch for its implementation

    The formal method known as B and a sketch for its implementation by Kaijanaho, Antti-Juhani

    Published 2002
    Get full text
    Master's thesis
  2. 2
    Muistinhallinta siivousmenetelmien avulla

    Muistinhallinta siivousmenetelmien avulla by Kaijanaho, Antti-Juhani

    Published 2001
    Get full text Get full text
    Bachelor's thesis
  3. 3
    The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

    The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study by Kaijanaho, Antti-Juhani, kirjoittaja

    Published 2014
    Linkki verkkoaineistoon
    Licentiate thesis
  4. 4
    Evidence-based programming language design : a philosophical and methodological exploration

    Evidence-based programming language design : a philosophical and methodological exploration by Kaijanaho, Antti-Juhani, kirjoittaja

    Published 2015
    Linkki verkkoaineistoon
    Doctoral dissertation
  5. 5
    The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

    The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study by Kaijanaho, Antti-Juhani, kirjoittaja

    Published 2014
    JYX-julkaisuarkisto / JYX Digital Archive
    Licentiate thesis
  6. 6
    Evidence-based programming language design : a philosophical and methodological exploration

    Evidence-based programming language design : a philosophical and methodological exploration by Kaijanaho, Antti-Juhani, kirjoittaja

    Published 2015
    JYX-julkaisuarkisto / JYX Digital Archive
    Doctoral dissertation
Search Tools: RSS Feed