Hardware and software: verification and testing :  11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings / 
edited by Nir Piterman. 
 - 1st ed. 2015. 
 - xvi, 293 páginas :  88 ilustraciones 
 - Lecture Notes in Computer Science,  9434  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/><label>ISBN: </label>9783319262871 
<br/><br/><label>LC Class. No.: </label>QA76.758