Studiebog

Constraint-Based Verification

- Yuan, J: Constraint-Based Verification

Bog E-bog

Format
Bog, paperback
Engelsk

Normalpris

kr. 894,95

Medlemspris

kr. 849,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

Leveringstid: 7-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 04-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal253
Udgivelsesdato29-10-2010
ISBN139781441938527
Forlag Springer-verlag New York Inc.
FormatPaperback

Størrelse og vægt

Vægt454 g

Dybde1,5 cm

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Diagnosis Software engineering Electrical engineering OPTIMIZATION Simulation Computer Aided Design (CAD) Electronics: circuits & components Information technology: general issues Formal method Verilog