ISEC '14 : proceedings of the 7th India Software Engineering Conference 2014 : Chennai, February, 19-21, 2014 |
Autore | Janakiram Dharanipragada |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
Descrizione fisica | 1 online resource (185 pages) |
Collana | ACM Other conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-2776-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
India Software Engineering Conference '14
Proceedings of the 7th India Software Engineering Conference ISEC '14 7th India Software Engineering, Conference, Chennai Chennai, India - February 19 - 21, 2014 |
Record Nr. | UNINA-9910376377503321 |
Janakiram Dharanipragada | ||
[Place of publication not identified], : ACM, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
Runtime Verification [[electronic resource] ] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / / edited by Koushik Sen, Sarfaz Khurshid |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 458 p. 69 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Algorithms Computer logic Computer programming Programming languages (Electronic computers) Mathematical logic Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-29860-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465414703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|