Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Ur, Shmuel, Ziv, Avi, Bin, Eyal
פורמט: ספר אלקטרוני
שפה:English
יצא לאור: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
סדרה:Lecture Notes in Computer Science, 4383
נושאים:
Software engineering
Logic design
Computer science
גישה מקוונת:Click here to view the full text content
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תיאור
תיאור פיזי:1 online resource (234 pages) digital.
ISBN:9783540708896
ISSN:0302-9743 ;

פריטים דומים