Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (560 pages) : illustrations (black and white) |
Altri autori (Persone) | VizelYakir |
Collana | Lecture notes in computer science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems databases distributed computer systems embedded systems engineering formal languages formal logic linguistics mathematics model checking software architecture software design software engineering software quality theoretical computer science |
ISBN | 3-031-13188-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910586580503321 |
Shoham Sharon | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (560 pages) : illustrations (black and white) |
Altri autori (Persone) | VizelYakir |
Collana | Lecture notes in computer science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems databases distributed computer systems embedded systems engineering formal languages formal logic linguistics mathematics model checking software architecture software design software engineering software quality theoretical computer science |
ISBN | 3-031-13188-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996485664103316 |
Shoham Sharon | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
ISBN | 3-031-13185-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996485664203316 |
Shoham Sharon | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
ISBN | 3-031-13185-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910586580203321 |
Shoham Sharon | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
Autore | Johnsen Einar Broch |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
Collana | Lecture notes in computer science |
Soggetto topico | Software engineering |
Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
ISBN | 3-030-99429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555236603321 |
Johnsen Einar Broch | ||
Cham, : Springer International Publishing AG, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
Autore | Johnsen Einar Broch |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
Collana | Lecture notes in computer science |
Soggetto topico | Software engineering |
Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
ISBN | 3-030-99429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464553503316 |
Johnsen Einar Broch | ||
Cham, : Springer International Publishing AG, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
Autore | Panda Dhabaleswar K |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (150 pages) |
Disciplina | 004.11 |
Altri autori (Persone) | SullivanMichael |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
ISBN | 3-031-10419-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996478861303316 |
Panda Dhabaleswar K | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
Autore | Panda Dhabaleswar K |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (150 pages) |
Disciplina | 004.11 |
Altri autori (Persone) | SullivanMichael |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
ISBN | 3-031-10419-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580293303321 |
Panda Dhabaleswar K | ||
Cham, : Springer Nature, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|