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.
VORTEX '23 : Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA / / edited by Davide Ancona and Giorgio Audrito
| VORTEX '23 : Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA / / edited by Davide Ancona and Giorgio Audrito |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2023 |
| Descrizione fisica | 1 online resource (20 pages) |
| Disciplina | 005.14 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer software - Verification
Distributed data processing Computer science Embedded computer systems Formal methods (Computer science) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910735595203321 |
| New York, NY : , : Association for Computing Machinery, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / / Cyrille Artho and Rudolf Ramler ; sponsored by Institute of Electrical and Electronics Engineers
| VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / / Cyrille Artho and Rudolf Ramler ; sponsored by Institute of Electrical and Electronics Engineers |
| Autore | Artho Cyrille |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
| Descrizione fisica | 1 online resource (iv, 25 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Software reengineering |
| ISBN | 1-5386-6492-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279521703316 |
Artho Cyrille
|
||
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / / Cyrille Artho and Rudolf Ramler ; sponsored by Institute of Electrical and Electronics Engineers
| VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / / Cyrille Artho and Rudolf Ramler ; sponsored by Institute of Electrical and Electronics Engineers |
| Autore | Artho Cyrille |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
| Descrizione fisica | 1 online resource (iv, 25 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Software reengineering |
| ISBN | 1-5386-6492-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910265157303321 |
|
Artho Cyrille
|
||
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Why programs fail : a guide to systematic debugging / Andreas Zeller
| Why programs fail : a guide to systematic debugging / Andreas Zeller |
| Autore | Zeller, Andreas |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Amsterdam [etc.], : Elsevier |
| Descrizione fisica | XXIII, 400 p. ; 24 cm. |
| Disciplina |
005.1
005.14 |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN | 9780123745156 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0590805 |
|
Zeller, Andreas
|
||
| Amsterdam [etc.], : Elsevier | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Windows 10 troubleshooting : learn to troubleshoot and repair windows 10 problems like the pros do / / Mike Halsey
| Windows 10 troubleshooting : learn to troubleshoot and repair windows 10 problems like the pros do / / Mike Halsey |
| Autore | Halsey Mike |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Apress, , [2022] |
| Descrizione fisica | 1 online resource (807 pages) |
| Disciplina | 005.14 |
| Soggetto topico | Debugging in computer science |
| ISBN | 1-4842-7471-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522963603321 |
|
Halsey Mike
|
||
| [Place of publication not identified] : , : Apress, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Writing solid code : Microsoft's techniques for developing bug-free C programs / Steve Maguire ; foreword by Dave Moore
| Writing solid code : Microsoft's techniques for developing bug-free C programs / Steve Maguire ; foreword by Dave Moore |
| Autore | Maguire, Steve |
| Pubbl/distr/stampa | Redmond, Wa : Microsoft Press, c1993 |
| Descrizione fisica | xxix, 256 p. ; 24 cm. |
| Disciplina | 005.14 |
| Soggetto topico |
C (Computer program language)
Computer software - Development |
| ISBN | 1556155514 |
| Classificazione |
AMS 68N05
CR D.2. QA76.73.C15M335 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001488289707536 |
|
Maguire, Steve
|
||
| Redmond, Wa : Microsoft Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
