Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /

Ponencias seleccionadas de la décima primera Conferencia Internacional sobre Métodos Formales Integrados, celebrada en Bertinoro, Italia, en septiembre de 2014. Los trabajos se presentan organizados en las siguientes secciones temáticas: integración de herramientas; verificación del modelo; desarrol...

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

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

সংস্থা লেখক:	International Conference on Integrated Formal Methods ( Bertinoro, Italia)
অন্যান্য লেখক:	Albert, Elvira (edición) (edición), Sekerinski, Emil (edición) (edición)
বিন্যাস:	কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:	ইংরেজি
প্রকাশিত:	Cham, Suiza : Springer, 2014, c2014
মালা:	(Lecture Notes in Computer Science ; 8739)
বিষয়গুলি:	Paquetes (Software) - > Planeación Paquetes (Software) - > Prueba y Medición Arquitectura de Software - > Prueba y Medición Ingeniería de Software - > Tema Principal Programación (Software) - > Planeación Programación (Software) - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional
অনলাইন ব্যবহার করুন:	Ver documento en línea
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!