Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... Notes in Computer Science, Band 10028)

Verification

von: Roderick Bloem · Eli Arbel

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (Vereinigte Staaten)
(siehe auch: eBook (Kindle))

Details (Großbritannien)
(siehe auch: eBook (Kindle))

Details (Kanada)
(siehe auch: eBook (Kindle))

EAN=ISBN-13: 978-3-319-49051-9

ISBN-10: 3-319-49051-6

Springer · 2016

Siehe auch (möglicherweise von anderen Autoren):
2015	Taschenbuch	Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015. Notes in Computer Science, Band 9434
2014	Taschenbuch	Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855)
2013	Taschenbuch	Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ... Notes in Computer Science, Band 8244)