Concepts and semantics of programming languages . 1 A semantical approach with OCaml and Python / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 |
Descrizione fisica | 1 online resource (329 pages) |
Disciplina | 005.13 |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-119-82409-5
1-119-82404-4 1-119-82412-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555020203321 |
Hardin Thérèse | ||
London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and semantics of programming languages . 1 A semantical approach with OCaml and Python / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 |
Descrizione fisica | 1 online resource (329 pages) |
Disciplina | 005.13 |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN |
1-119-82409-5
1-119-82404-4 1-119-82412-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910677774503321 |
Hardin Thérèse | ||
London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and semantics of programming languages . 1 A semantical approach with OCaml and Python / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 |
Descrizione fisica | 1 online resource (329 pages) |
Disciplina | 005.13 |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN |
1-119-82409-5
1-119-82404-4 1-119-82412-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910823910903321 |
Hardin Thérèse | ||
London ; ; Hoboken, NJ : , : ISTE Ltd : , : John Wiley and Sons Inc., , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] |
Descrizione fisica | 1 online resource (265 pages) |
Disciplina | 005.13 |
Collana | Computer engineering series |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-119-85118-1
1-119-85119-X 1-119-85117-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555263303321 |
Hardin Thérèse | ||
Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] |
Descrizione fisica | 1 online resource (265 pages) |
Disciplina | 005.13 |
Collana | Computer engineering series |
Soggetto topico |
Programming languages (Electronic computers) - Semantics
OCaml (Computer program language) Python (Computer program language) C++ (Computer program language) Ada (Computer program language) Java (Computer program language) |
ISBN |
1-119-85118-1
1-119-85119-X 1-119-85117-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910677492303321 |
Hardin Thérèse | ||
Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / / Thérèse Hardin [and three others] |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] |
Descrizione fisica | 1 online resource (265 pages) |
Disciplina | 005.13 |
Collana | Computer engineering series |
Soggetto topico |
Programming languages (Electronic computers) - Semantics
OCaml (Computer program language) Python (Computer program language) C++ (Computer program language) Ada (Computer program language) Java (Computer program language) |
ISBN |
1-119-85118-1
1-119-85119-X 1-119-85117-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910827041803321 |
Hardin Thérèse | ||
Hoboken : , : ISTE Ltd / John Wiley and Sons Inc, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts et Sémantique des Langages de Programmation 1 |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | London : , : ISTE Editions Ltd., , 2020 |
Descrizione fisica | 1 online resource (320 pages) |
Altri autori (Persone) |
JaumeMathieu
PessauxFrançois |
Soggetto genere / forma | Electronic books. |
ISBN | 1-78406-701-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Front cover -- Table des matières -- Préface -- Avant-propos -- Chapitre 1 -- Chapitre 2 -- Chapitre 3 -- Chapitre 4 -- Chapitre 5 -- Chapitre 6 -- Chapitre 7 -- Chapitre 8 -- Conclusion -- Annexe -- Liste des notations -- Liste des implantationsdes sémantiques -- Bibliographie -- Index -- Sommaire -- Back Cover. |
Record Nr. | UNINA-9910511997203321 |
Hardin Thérèse | ||
London : , : ISTE Editions Ltd., , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts et Sémantique des Langages de Programmation 2 |
Autore | Hardin Thérèse |
Pubbl/distr/stampa | London : , : ISTE Editions Ltd., , 2020 |
Descrizione fisica | 1 online resource (252 pages) |
Altri autori (Persone) |
JaumeMathieu
PessauxFrançois |
Soggetto genere / forma | Electronic books. |
ISBN | 1-78406-702-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Front cover -- Table des matières -- Préface -- Avant-propos -- Chapitre 1 -- Chapitre 2 -- Chapitre 3 -- Chapitre 4 -- Annexe -- Liste des notations -- Bibliographie -- Index -- Sommaire -- Back Cover. |
Record Nr. | UNINA-9910511742403321 |
Hardin Thérèse | ||
London : , : ISTE Editions Ltd., , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|