Du sparer 26% fra forlagets pris Du sparer 26% fra forlagets pris
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

af

  • Forlagets pris kr. 539,95
  • Leveringstid 2-4 uger
  • Forventet levering 25-05-2018
Bog, paperback (kr. 399,95)
  1. Beskrivelse

    This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. 1 Paperback 60 Illustrations, black and white; XVI, 211 p. 60 illus.

    Udgivelsesdato:
    01-11-2016
    Leveringstid:
    2-4 uger
    Rating:
    (0)
  2. Yderligere info
    Udgivelsesdato:
    01-11-2016
    Sprog:
    Engelsk
    ISBN13:
    9783319490519
    Sidetal:
    214
    Vægt:
    355
    Højde:
    12
    Bredde:
    155
    Længde:
    235
    Nummer i serien:
    10028
    Mærkat:
    Bog, paperback
    Format:
    Paperback
    Udgave:
    1st ed. 2016
    • Bibliotekernes beskrivelse

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

  3. Anmeldelser
    Log ind for at skrive en anmeldelse.

Andre bøger af

Decidability of Parameterized Verification
  • Ca.
  • kr. 595,52
  • Ca.
  • Medlemspris kr. 539,95