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.
FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur
| FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur |
| Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2016 |
| Descrizione fisica | 1 online resource (214 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Formal methods (Computer science)
Computer systems - Computer-aided design System design |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279615803316 |
| Austin, Texas : , : FMCAD, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur
| FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur |
| Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2016 |
| Descrizione fisica | 1 online resource (214 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Formal methods (Computer science)
Computer systems - Computer-aided design System design |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910169237303321 |
| Austin, Texas : , : FMCAD, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910504301503321 |
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNISA-996580848503316 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / / edited by Constantin Enea, Ruzica Piskac
| Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / / edited by Constantin Enea, Ruzica Piskac |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 602 p. 1329 illus., 69 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks |
| ISBN | 3-030-11245-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. |
| Record Nr. | UNISA-996466455303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / / edited by Constantin Enea, Ruzica Piskac
| Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / / edited by Constantin Enea, Ruzica Piskac |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 602 p. 1329 illus., 69 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks |
| ISBN | 3-030-11245-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. |
| Record Nr. | UNINA-9910337565903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer
| Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-03592-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466175503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer
| Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-03592-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349389603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||