Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Symbolic Simulation Methods for Industrial Formal Verification

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-1-4613-5395-9 / 978-1461353959 / 9781461353959

Verlag: Springer US

Erscheinungsdatum: 23.10.2012

Seiten: 151

Auflage: 1

Autor(en): Robert B. Jones

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück