Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    68Q55 - Semantics
Mostrando 1-8 de 8 resultados, ordenados por

Imagen de la tapa

Introduction to lattices and order

B. A. Davey, H. A. Priestley.

2nd ed.

Cambridge, UK : Cambridge University Press, 2002.

Ubicación:

  • 06
    D248

Introduction to lattices and order

B. A. Davey, H. A. Priestley.

Cambridge : Cambridge University Press, 1990.

Ubicación:

  • 06
    D248

Imagen de la tapa

Algebraic approaches to program semantics

Ernest G. Manes, Michael A. Arbib.

New York : Springer-Verlag, ©1986.

Ubicación:

  • 68
    M274

Denotational semantics : the Scott-Strachey approach to programming language theory

by Joseph E. Stoy.

Cambridge, Mass. : MIT Press, ©1977.

Ubicación:

  • 68
    St893

Complementary definitions of programming language semantics

James E. Donahue.

Berlin ; New York : Springer-Verlag, 1976.

Ubicación:

  • 68
    D674

A theory of programming language semantics

Robert Milne and Christopher Strachey.

London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976.

Ubicación:

  • Part a:
    68
    M659
    v.1
  • Part b:
    68
    M659
    v.2

Formal semantics of programming languages

edited by Randall Rustin.

Englewood, Cliffs, N.J. : Prentice-Hall, ©1972.

Ubicación:

  • 68
    C858-2

Computer semantics : studies of algorithms, processors and languages

John A. N. Lee.

New York : Van Nostrand Reinhold, ©1972.

Ubicación:

  • 68
    L477c

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos