Symbolic Simulation Methods for Industrial Formal Verification

Produktform: E-Buch Text Elektronisches Buch in proprietärem

concludes with work on verification of simplified models of out-of-order processors. weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-1-4615-1101-4 / 978-1461511014 / 9781461511014

Erscheinungsdatum: 06.12.2012

Seiten: 151

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück