Formal semantics of programming languages / edited by Randall Rustin.
Series Prentice-Hall series in automatic computationEditor: Englewood, Cliffs, N.J. : Prentice-Hall, c1972Descripción: 248 p. : il. ; 24 cmISBN: 0133290603Otra clasificación: 68Q55 (68-06 68N15)| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 68 C858-2 (Browse shelf) | Available | A-3790 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 68 C767r Regular algebra and finite machines / | 68 C855 Distributed systems : | 68 C858-1 Debugging techniques in large systems / | 68 C858-2 Formal semantics of programming languages / | 68 C858-3 Computer networks / | 68 C858-4 Algorithm specification / | 68 C858-5 Design and optimization of compilers / |
Cab. de portada: "Courant Computer Science Symposium 2, September 14-16, 1970".
Incluye referencias bibliográficas.
MR, 55 #1771
Click on an image to view it in the image viewer
There are no comments on this title.