Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Hardback version af Constraint-Based Verification af Jun Yuan, Carl Pixley, Adnan Aziz

Constraint-Based Verification

Af
Bog E-bog
  • Format
  • Bog, hardback
  • Engelsk

Normalpris

kr. 879,95

Medlemspris

kr. 834,95
  • Du sparer kr. 45,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.It relates constrained verification with the also-hot technology called assertion-based design.Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages. 1 Hardback 72 Illustrations, black and white; XII, 254 p. 72 illus.

Læs hele beskrivelsen
Detaljer
Størrelse og vægt
  • Vægt1220 g
  • Dybde2 cm
    • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...