Pensum -10%
Hardware and Software
Amir Nahir, Tanja Vos og 1 annen
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Hardware and Software: Verification and Testing
Redigert av Joao Louren?o, Onn Shehory, Kerstin Eder, 2012.Del av serien Lecture Notes in Computer Science.
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
PocketEngelsk
Normalpris: 569,-
512,-
Spar 57,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Hardware and Software: Verification and Testing
Redigert av Joao Louren?o, Onn Shehory, Kerstin Eder, 2012.Del av serien Lecture Notes in Computer Science.
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Normalpris: 569,-
512,-
Spar 57,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
512,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
