Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Se presentan aquí 24 artículos arbitrados, seleccionados de las 49 ponencias de la 9a Conferencia Internacional de Verificación (de Hardware y Software), celebrada en la ciudad israelí de Haifa, del 5 al 7 de noviembre de 2013. Los trabajos están organizados según las siete temáticas del evento: 1)...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | কনফারেন্স প্রসিডিং গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Cham, Suiza :
Springer,
2013, c2013
|
| মালা: | (Lecture Notes in Computer Science ;
8244) |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Ver documento en línea |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
আন্তর্জাল
Ver documento en línea| ডাক সংখ্যা: |
004. 25 INT 2013
|
||
|---|---|---|---|
| Ejemplar 432985-1 |
Disponible
Préstamo en línea
|
সংগ্রহ:
Libros electrónicos en línea
|
টীকা:
Consultar en línea
|