Vista normal Vista MARC Vista ISBD

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 ; .

Springer eBooks

ISBN: 9783319262871

LC Class. No.: QA76.758