Resultados de procura - "semantics of programming languages"

  1. 1
    Imaxe de Portada

    Formal semantics of Programming languages / edited by Randall Rustin.

    Publicado 1972
    Libro

    Engadir a favoritos
    Gardado en:
  2. 2
    Imaxe de Portada

    Algorithmically definable functions : a contribution towards the semantics of programming languages.

    Publicado 1971
    Libro

    Engadir a favoritos
    Gardado en:
  3. 3
    Imaxe de Portada

    Semantics of programming languages : structures and techniques / Carl A. Gunter.

    Publicado ©1992
    Libro

    Engadir a favoritos
    Gardado en:
  4. 4
    Imaxe de Portada

    The formal semantics of programming languages : an introduction / Glynn Winskel.

    Publicado c1993
    Libro

    Engadir a favoritos
    Gardado en:
  5. 5
    Imaxe de Portada

    The formal semantics of programming languages : an introduction / Glynn Winskel.

    Publicado ©1993
    Libro

    Engadir a favoritos
    Gardado en:
  6. 6
    Imaxe de Portada

    Comparative metric semantics of programming languages : nondeterminism and recursion / Franck van Breugel.

    Publicado ©1998
    Libro

    Engadir a favoritos
    Gardado en:
  7. 7
    Imaxe de Portada

    The semantics of programming languages : an elementary introduction using structural operational semantics / Matthew Hennessy.

    Publicado ©1990
    Libro

    Engadir a favoritos
    Gardado en:
  8. 8
    Imaxe de Portada

    Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz.

    Publicado ©1995
    Libro

    Engadir a favoritos
    Gardado en:
  9. 9
    Imaxe de Portada

    Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.

    Publicado 2008
    Libro

    Engadir a favoritos
    Gardado en:
  10. 10
    Imaxe de Portada

    Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar (eds.).

    Publicado ©1991
    Libro

    Engadir a favoritos
    Gardado en:
  11. 11
    Imaxe de Portada

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Publicado 2022
    Libro

    Engadir a favoritos
    Gardado en:
  12. 12
    Imaxe de Portada

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Publicado 2020
    Libro

    Engadir a favoritos
    Gardado en:
  13. 13
    Imaxe de Portada

    Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).

    Publicado ©1991
    Libro

    Engadir a favoritos
    Gardado en:
  14. 14
    Imaxe de Portada

    CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / A. Arnold (ed.).

    Publicado ©1990
    Libro

    Engadir a favoritos
    Gardado en:
  15. 15
    Imaxe de Portada

    Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / [ICALP 89] ; G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Del...

    Publicado ©1989
    Libro

    Engadir a favoritos
    Gardado en:
  16. 16
    Imaxe de Portada

    Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of S...

    Publicado 2014
    Libro

    Engadir a favoritos
    Gardado en:
  17. 17
    Imaxe de Portada

    Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings / edited by Pieter H. Hartel, Rinus...

    Publicado 1995
    Libro

    Engadir a favoritos
    Gardado en:
  18. 18
    Imaxe de Portada

    STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori.

    Publicado 1989
    Libro

    Engadir a favoritos
    Gardado en:
  19. 19
    Imaxe de Portada

    Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes [and others], eds.

    Publicado ©1994
    Libro

    Engadir a favoritos
    Gardado en:
  20. 20
    Imaxe de Portada

    Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson, ed.

    Publicado ©1990
    Libro

    Engadir a favoritos
    Gardado en:

Ferramentas de procura: