Studiebog DRM-beskyttet

Hardware and Software: Verification and Testing

- 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 424,95

Medlemspris: kr. 379,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato12-10-2012
ISBN139783642341885
Forlag Springer Berlin Heidelberg
FormatPDF

Hardware and Software: Verification and Testing

- 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Findes i disse kategorier...

Se andre, der handler om...