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...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন

সংস্থা লেখক:	International Conference on Verified Software: Theories, Tools and Experiments ( Viena, Austria), Vienna Summer of Logic
অন্যান্য লেখক:	Giannakopoulou, Dimitra (edición) (edición), Kroening, Daniel (edición) (edición)
বিন্যাস:	কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:	ইংরেজি
প্রকাশিত:	Cham, Suiza : Springer, 2014, c2014
মালা:	(Lecture Notes in Computer Science ; 8471)
বিষয়গুলি:	Análisis Matemático Estructura de Datos Arquitectura de Software - > Prueba y Medición Arquitectura de Software Paquetes (Software) - > Prueba y Medición - > Tema Principal Programación (Software) Ingeniería de Software - > Congresos - > Tema Principal Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
অনলাইন ব্যবহার করুন:	Ver documento en línea
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!