홈 / 책 찾기 / Hardware and Software : Verification and…
Hardware and Software : Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
| 제목 | Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings |
|---|---|
| 저자 | Eran Yahav |
| 출판사 | Springer International Publishing AG |
| 출간 | 2014 |
| 쪽수 | 302쪽 |
| 언어 | 영어 |
| ISBN | 9783319133379 |
배송
결제가 확인되면 해외 판매처에 주문을 넣습니다. 받으시기까지 보통 2~3주 걸립니다. 국내에 들어오면 택배 송장번호를 주문 화면과 문자로 알려 드립니다.
통관
개인 주문은 개인통관고유부호가 필요합니다. 주문서에 넣어 주시고, 받은 번호는 그 주문에만 씁니다.
취소, 반품
해외 주문 전에는 주문 화면에서 바로 취소하실 수 있고 전액 환불됩니다. 해외 주문 뒤에는 단순 변심 취소가 어렵습니다. 받으신 책이 설명과 크게 다르거나 파손되었으면 다시 구해 드리거나 환불합니다.