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 [[electronic resource] ] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / / edited by Armin Biere, David Parker
| Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / / edited by Armin Biere, David Parker |
| Autore | Biere Armin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 425 p. 1 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer science—Mathematics Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Mathematics of Computing |
| ISBN | 3-030-45237-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020. |
| Record Nr. | UNISA-996418216303316 |
Biere Armin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / / edited by Armin Biere, David Parker
| Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / / edited by Armin Biere, David Parker |
| Autore | Biere Armin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 501 p. 1 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Computer systems Microprogramming Computer science—Mathematics Theory of Computation Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Mathematics of Computing |
| ISBN | 3-030-45190-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems -- Probabilistic Systems -- Model Checking and Reachability -- Timed and Probabilistic Systems. |
| Record Nr. | UNISA-996418215003316 |
|
Biere Armin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / / edited by Armin Biere, David Parker
| Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / / edited by Armin Biere, David Parker |
| Autore | Biere Armin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 501 p. 1 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Computer systems Microprogramming Computer science—Mathematics Theory of Computation Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Mathematics of Computing |
| ISBN | 3-030-45190-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems -- Probabilistic Systems -- Model Checking and Reachability -- Timed and Probabilistic Systems. |
| Record Nr. | UNINA-9910404118903321 |
|
Biere Armin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / / edited by Armin Biere, David Parker
| Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / / edited by Armin Biere, David Parker |
| Autore | Biere Armin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 425 p. 1 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer science—Mathematics Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Mathematics of Computing |
| ISBN | 3-030-45237-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020. |
| Record Nr. | UNINA-9910404119003321 |
|
Biere Armin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||