Hardware and Software: Verification and Testing 1

Data & IT

Hardware and Software: Verification and Testing

Roderick Bloem • Eli Arbel

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

211 sidor
2016

This book constitutes the refereed proceedings of the 12th InternationalHaifa Verification Conference, HVC 2016, held in Haifa, Israel inNovember 2016. The 13 revised full papers and one tool paper presentedwere carefully reviewed and selected from 26 submissions. They arededicated to advance the state of the art and state of the practice inverification and testing and are discussing future directions of testing andverification for hardware, software, and complex hybrid systems.

Författare: Roderick Bloem, Eli Arbel
Format: Pocket/Paperback
ISBN: 9783319490519
Språk: Engelska
Antal sidor: 211
Utgivningsdatum: 2016-11-01
Förlag: Springer International Publishing AG