Computer Aided VerificationWerner Damm

Computer Aided Verification

Werner Damm, Holger Hermanns · 2007

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2007
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540733683

Data source: Wikidata

More by Werner Damm

Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm

Formal Techniques in Real-Time and Fault-Tolerant Systems

Werner Damm · 2003

Entwurf und Verifikation mikroprogrammierter RechnerarchitekturenWerner Damm

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Werner Damm · 1987