Verified Software : Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers /
Selección de ponencias de la sexta Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, celebrada en julio de 2014, en el Verano de Lógica de Viena, en Viena, Austria. Los artículos están organizados en secciones temáticas como análisis de software; marcos y apl...
সংরক্ষণ করুন:
| সংস্থা লেখক: | , |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | কনফারেন্স প্রসিডিং গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Cham, Suiza :
Springer,
2014, c2014
|
| মালা: | (Lecture Notes in Computer Science ;
8471) |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Ver documento en línea |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি: Verified Software :
- Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : Proceedings /
- Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
- Requirements Engineering : First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014 : Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- FundamentalApproaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 : Proceedings /
- Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /