Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

AvRoderick Bloem,Eli Arbel

Häftad, Engelska, 2016

Del 10028 i serien Lecture Notes in Computer Science

551 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Del 13124

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Häftad

606 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket
9

69 kr89 kr

  • 10% rabatt på allt

Olgas bok

Katarina Wennstam

Inbunden

249 kr

  • -22%
Del 4

Målet

Elle Kennedy

Pocket
4

69 kr89 kr