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.
Automated Technology for Verification and Analysis [[electronic resource] ] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / / edited by Tevfik Bultan, Pao-Ann Hsiung
| Automated Technology for Verification and Analysis [[electronic resource] ] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / / edited by Tevfik Bultan, Pao-Ann Hsiung |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 532 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer communication systems Computer logic Programming languages (Electronic computers) Software Engineering Programming Techniques Computer Communication Networks Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems |
| ISBN | 3-642-24372-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465884503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ISSTA '17 : proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis : July 10-14, 2017, Santa Barbara, CA, USA / / edited by Tevfik Bultan and Koushik Sen ; sponsored by ACM SIGSOFT
| ISSTA '17 : proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis : July 10-14, 2017, Santa Barbara, CA, USA / / edited by Tevfik Bultan and Koushik Sen ; sponsored by ACM SIGSOFT |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (447 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Computer software - Evaluation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Symposium on Software Testing and Analysis '17 : proceedings of the 26th Association for Computing Machinery Special Interest Group on Software Engineering International Symposium on Software Testing and Analysis : July 10-14, 2017, Santa Barbara, California, United States of America
International Symposium on Software Testing and Analysis 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis Proceedings of the 26th Association for Computing Machinery Special Interest Group on Software Engineering International Symposium on Software Testing and Analysis |
| Record Nr. | UNINA-9910375860103321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 41st International Conference on Software Engineering : Companion Proceedings / / Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan
| Proceedings of the 41st International Conference on Software Engineering : Companion Proceedings / / Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan |
| Autore | Mussbacher Gunter |
| Pubbl/distr/stampa | Piscataway, NJ, USA : , : IEEE Press, , 2019 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico | Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 41st International Conference on Software Engineering |
| Record Nr. | UNINA-9910412263903321 |
Mussbacher Gunter
|
||
| Piscataway, NJ, USA : , : IEEE Press, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TAV-WEB 2006 : proceedings of the Workshop on Testing, Analysis, and Verification of Web Services and Applications : Portland, Maine, USA, July 17, 2006
| TAV-WEB 2006 : proceedings of the Workshop on Testing, Analysis, and Verification of Web Services and Applications : Portland, Maine, USA, July 17, 2006 |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (47 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Testing, Analysis, and Verification-WEB 2006 : proceedings of the Workshop on Testing, Analysis, and Verification of Web Services and Applications : Portland, Maine, United States of America, July 17, 2006
Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications |
| Record Nr. | UNINA-9910376504503321 |
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TAV-WEB 2008 : proceedings of the Workshop on Testing, Analysis and Verification of Web Software : Seattle, Washington, USA, July 21, 2008
| TAV-WEB 2008 : proceedings of the Workshop on Testing, Analysis and Verification of Web Software : Seattle, Washington, USA, July 21, 2008 |
| Autore | Bultan Tevfik |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (49 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications |
| Record Nr. | UNINA-9910376167603321 |
|
Bultan Tevfik
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Services and Formal Methods [[electronic resource] ] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / / edited by Mario Bravetti, Tevfik Bultan
| Web Services and Formal Methods [[electronic resource] ] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / / edited by Mario Bravetti, Tevfik Bultan |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 191 p. 68 illus., 10 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Software engineering Management information systems Computer science Information storage and retrieval User interfaces (Computer systems) Information Systems Applications (incl. Internet) Software Engineering Management of Computing and Information Systems Information Storage and Retrieval User Interfaces and Human Computer Interaction |
| ISBN | 3-642-19589-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465912303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||