Bild von Architecture Design and Validation Methods (eBook)

Architecture Design and Validation Methods (eBook)

Geben Sie eine Produktbewertung ab.

Autor: Egon (Hrsg.) Börger

CHF 59.00

ISBN: 978-3-642-57199-2

Einband: PDF

Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)

Menge:

+ -

This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. The book covers a comprehensive range of architecture design and validation methods, from computer aided high-level design of VLSI circuits and systems to layout and testable design, including the modeling and synthesis of behavior and dataflow, cell-based logic optimization, machine assisted verification, and virtual machine design.

Autor	Börger, Egon (Hrsg.)
Verlag	Springer Berlin Heidelberg
Einband	PDF
Erscheinungsjahr	2012
Seitenangabe	357 S.
Ausgabekennzeichen	Englisch
Abbildungen	X, 357 p.
Auflage	2000

Weitere Titel von Egon (Hrsg.) Börger

Cover-Bild zu Structures of Computing (eBook)

Structures of Computing (eBook) Springer International Publishing

PDF | 2024

CHF

59.00

Cover-Bild zu Modeling Companion for Software Practitioners (eBook)

Modeling Companion for Software Practitioners (eBo Springer Berlin Heidelberg

PDF | 2018

CHF

77.00

Cover-Bild zu Berechenbarkeit, Komplexität, Logik (eBook)

Berechenbarkeit, Komplexität, Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

50.00

Cover-Bild zu Berechenbarkeit, Komplexität, Logik (eBook)

Berechenbarkeit, Komplexität, Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

47.70

Cover-Bild zu Berechenbarkeit Komplexität Logik (eBook)

Berechenbarkeit Komplexität Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

47.70

Cover-Bild zu Architecture Design and Validation Methods (eBook)

Architecture Design and Validation Methods (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Abstract State Machines (eBook)

Abstract State Machines (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Subject-Oriented Business Process Management (eBook)

Subject-Oriented Business Process Management (eBoo Springer

PDF | 2012

CHF

66.50

Cover-Bild zu Java and the Java Virtual Machine (eBook)

Java and the Java Virtual Machine (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Architecture Design and Validation Methods

Architecture Design and Validation Methods Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2012

CHF

69.00

Cover-Bild zu Advances in Software Engineering (eBook)

Advances in Software Engineering (eBook) Springer Berlin Heidelberg

PDF | 2008

CHF

59.00

Cover-Bild zu Abstract State Machines, B and Z (eBook)

Abstract State Machines, B and Z (eBook) Springer Berlin Heidelberg

PDF | 2008

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2006

CHF

59.00

Cover-Bild zu Computation Theory and Logic (eBook)

Computation Theory and Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Formal Methods for Industrial Applications (eBook)

Formal Methods for Industrial Applications (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Cover-Bild zu CSL '87 (eBook)

CSL '87 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu CSL '89 (eBook)

CSL '89 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu CSL'88 (eBook)

CSL'88 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Abstract State Machines 2003: Advances in Theory and Practice (eBook)

Abstract State Machines 2003: Advances in Theory a Springer Berlin Heidelberg

PDF | 2003

CHF

59.00

Cover-Bild zu Berechenbarkeit Komplexität Logik

Berechenbarkeit Komplexität Logik Vieweg+Teubner Verlag

Kartonierter Einband (Kt) | 1992

CHF

65.00

Cover-Bild zu Computation Theory and Logic

Computation Theory and Logic Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 1987

CHF

69.00