Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxi, 493 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
embedded systems
formal languages and automata theory Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning software and hardware verification specification and verification techniques static and dynamic program analysis Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99527-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555237203321 |
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 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, Dana Fisman, Grigore Rosu
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 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, Dana Fisman, Grigore Rosu |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxii, 583 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
formal languages and automata theory
Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning signal processing software and hardware verification specification and verification techniques Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99524-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555235803321 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxi, 493 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
embedded systems
formal languages and automata theory Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning software and hardware verification specification and verification techniques static and dynamic program analysis Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99527-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464553903316 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 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, Dana Fisman, Grigore Rosu
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 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, Dana Fisman, Grigore Rosu |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxii, 583 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
formal languages and automata theory
Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning signal processing software and hardware verification specification and verification techniques Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99524-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464536603316 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||