Näytetään 1 - 7 yhteensä 7 tuloksesta haulle '', hakuaika: 0,02s Tarkenna hakua
  1. 1

    Type theory and formal proof an introduction Tekijä Nederpelt, Rob, Geuvers, Herman

    Julkaistu 2014
    Kirja
  2. 2

    Theory of automata and formal languages Tekijä Sharma, Anand

    Julkaistu 2006
    Kirja
  3. 3
  4. 4

    The Generic Network Modeling language (GNM) Tekijä Magtubo, Erville D.

    Julkaisussa Philippine Engineering Journal (1996)
    Artikkeli
  5. 5

    C++ nuts & bolts for experienced programmers Tekijä Schildt, Herbert

    Julkaistu 1995
    Kirja
  6. 6

    Comprehensive COBOL Tekijä Philippakis, Andrew S

    Julkaistu 1991
    Kirja
  7. 7

    Formal specification of programming languages a panoramic primer Tekijä Pagan, Frank G.

    Julkaistu 1981
    Kirja