Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | كتاب الكتروني |
| اللغة: | English |
| منشور في: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007.
|
| سلاسل: | Lecture Notes in Computer Science,
4383 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Click here to view the full text content |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
النظام قيد الصيانة
نظام إدارة مكتبتنا قيد الصيانة حاليا.
معلومات إتاحة المواد والمقتنيات غير متاحة حاليا. الرجاء قبول اعتذارنا عن أي إزعاج قد يسببه ذلك والاتصال بنا للمزيد من المساعدة: