Logo Biblioteca

Bibliotecas UNLAM
Catálogo Bibliográfico

Bibliotecas UNLAM
Catálogo Bibliográfico

Logo UNLAM
005.1 PAR

Partsch, Helmut A. (1950-...)
  Specification and tansformation of programs : a formal approach to software development [TXT]. -- Berlin : Springer-Verlag, c1990. -- Specification and tansformation of programs : a formal approach to software development / Partsch, Helmut A.

  Referencias: p. 456-474
  ISBN: 0387523561

  1. INGENIERIA DE PROGRAMAS INFORMATICOS

  (1) Inv.: 1022699 S.T.: 005.1 PAR

Elementos Multimedia

  • Tapa
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
1022699 005.1 PAR

Formulario para Solicitud de Material

Partsch, Helmut A. (1950-...)
Specification and tansformation of programs : a formal approach to software development [TXT]. -- Berlin : Springer-Verlag, c1990. -- Specification and tansformation of programs : a formal approach to software development / Partsch, Helmut A.

Referencias: p. 456-474
ISBN: 0387523561

1. INGENIERIA DE PROGRAMAS INFORMATICOS

(1) Inv.: 1022699 S.T.: 005.1 PAR
Solicitante: