Showing 1 - 7 results of 7 for search '', query time: 0.01s Refine Results
  1. 1

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

    Published 2014
    Book

    Type theory and formal proof an introduction
  2. 2

    Theory of automata and formal languages by Sharma, Anand

    Published 2006
    Book

    Theory of automata and formal languages
  3. 3

    Introduksiyon sa organisasyon ng computer at low-level programming by Macatangay, Joel E., Umali-Macatangay, Leonila C.

    Published 1998
    Book

    Introduksiyon sa organisasyon ng computer at low-level programming
  4. 4

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

    Published in Philippine Engineering Journal (1996)
    Article

    The Generic Network Modeling language (GNM)
  5. 5

    C++ nuts & bolts for experienced programmers by Schildt, Herbert

    Published 1995
    Book

    C++ nuts & bolts for experienced programmers
  6. 6

    Comprehensive COBOL by Philippakis, Andrew S

    Published 1991
    Book

    Comprehensive COBOL
  7. 7

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

    Published 1981
    Book

    Formal specification of programming languages a panoramic primer

Search Tools: