An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.] |
Autore | Drossopoulou, Sophia |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
Descrizione fisica | ix, 511 p. ; 25 cm. |
Disciplina | 001.6424 |
Altri autori (Persone) |
Persch, Guido
Uhl, Jurgenauthor |
Soggetto topico |
Ada (Computer program language)
Programming languages-semantics Theory of data |
ISBN | 3540115714 |
Classificazione | AMS 68P99 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000707769707536 |
Drossopoulou, Sophia | ||
Berlin : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical logic in computer science / edited by B. Domolki and T. Gergely |
Autore | Domolki, B. |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1981 |
Descrizione fisica | 758 p. : ill. ; 25 cm. |
Disciplina | 519.4 |
Altri autori (Persone) | Gergely, T. |
Collana | Colloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ; 26 |
Soggetto topico |
Logic of programming
Programming Programming languages-semantics |
ISBN | 0444854401 |
Classificazione | AMS 03B70 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112649707536 |
Domolki, B. | ||
Amsterdam : North-Holland, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|