Suggested Topics within your search.
Showing 1 - 20 results of 23 for search '"significado"', query time: 0.04s Refine Results
  1. 1
    The B-book : assigning programs to meanings /

    The B-book : assigning programs to meanings / by Abrial, Jean-Raymond, 1938-

    Published 1996
    Subjects: “…Lógica y significado de programas…”
    Publisher description
    Table of contents
    Book
  2. 2
    Design concepts in programming languages /

    Design concepts in programming languages / by Turbak, Franklyn Albin

    Published 2008
    Subjects:
    Table of contents only
    Book
  3. 3
    Applied semantics /

    Applied semantics /

    Published 2002
    Subjects:
    Conference Proceeding Book
  4. 4
    Implementation of functional languages /

    Implementation of functional languages /

    Published 1997
    Subjects:
    Conference Proceeding Book
  5. 5
    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Bra...

    Published 2007
    Subjects:
    Unedited summary from book
    Table of contents only
    Publisher description
    Conference Proceeding Book
  6. 6
    Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

    Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

    Published 2006
    Subjects:
    Conference Proceeding eBook
  7. 7
    KORSO : methods, languages and tools for the construction of correct software. Final Report /

    KORSO : methods, languages and tools for the construction of correct software. Final Report /

    Published 1995
    Subjects:
    Book
  8. 8
    CONCUR - 1994 : Concurrency theory /

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    Subjects: “…Lógica y significado de programas…”
    Conference Proceeding Book
  9. 9
    CONCUR - 2003 : Concurrency theory /

    CONCUR - 2003 : Concurrency theory /

    Published 2003
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  10. 10
    CONCUR - 1995 : Concurrency theory : Proceedings /

    CONCUR - 1995 : Concurrency theory : Proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  11. 11
    Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /

    Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  12. 12
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    Subjects:
    Conference Proceeding Book
  13. 13
    CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /

    CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /

    Published 1996
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  14. 14
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  15. 15
    CONCUR -1997 : Concurrency theory /

    CONCUR -1997 : Concurrency theory /

    Published 1997
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  16. 16
    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism /

    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism / by Rao, Josyula Ramachandra, 1962-

    Published 1995
    Subjects:
    Book
  17. 17
    Programming languages and systems-ESOP'96 /

    Programming languages and systems-ESOP'96 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  18. 18
    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    Published 2007
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding eBook
  19. 19
    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...

    Published 2009
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  20. 20
    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Published 1996
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book

Search Tools: