Suggested Topics within your search.
Showing 1 - 9 results of 9 for search '"Lenguajes de programación-Definiciones formales y teoría."', query time: 0.03s Refine Results
  1. 1
    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /

    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Book
  2. 2
    Languages and compilers for parallel computing /

    Languages and compilers for parallel computing /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciónes formales y teoría.…”
    Conference Proceeding Book
  3. 3
    Process algebra and probabilistic methods : perfomance modeling and verification /

    Process algebra and probabilistic methods : perfomance modeling and verification /

    Published 2002
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Conference Proceeding Book
  4. 4
    FME'96 : industrial benefit and advances in formal methods /

    FME'96 : industrial benefit and advances in formal methods /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Conference Proceeding Book
  5. 5
    Building tightly integrated software development environments : the IPSEN approach /

    Building tightly integrated software development environments : the IPSEN approach /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Book
  6. 6
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1995
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Conference Proceeding Book
  7. 7
    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Book
  8. 8
    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Published 1995
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Conference Proceeding Book
  9. 9
    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
    Conference Proceeding Book

Search Tools: