Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
Autore | Sergey Ilya |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
Altri autori (Persone) | SergeyIlya |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
ISBN | 3-030-99336-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555236003321 |
Sergey Ilya
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
Autore | Sergey Ilya |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
Altri autori (Persone) | SergeyIlya |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
ISBN | 3-030-99336-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464540903316 |
Sergey Ilya
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|