An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.]
| 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 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic in computer science / edited by B. Domolki and T. Gergely
| 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 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||