Author/Creator: Bloem, Roderick P / Publisher: Springer - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Bloem, Roderick P Publisher Springer

1. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016])

Editors:: Bloem, Roderick P; Arbel, Eli
Other Names:: International Haifa Verification Conference, 12th
Record Type:: Book
Extent:: 1 online resource (xvi, 211 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗