Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Symbolic Simulation Methods for Industrial Formal Verification

Produktform: Buch / Einband - fest (Hardcover)

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

Sprache(n): Englisch

ISBN: 978-1-4020-7103-4 / 978-1402071034 / 9781402071034

Verlag: Springer US

Erscheinungsdatum: 30.06.2002

Seiten: 151

Auflage: 1

Autor(en): Robert B. Jones

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück