Fortæl dine venner om denne vare:
Architecture Design and Validation Methods
Egon Borger
Pris
$ 70,61
Bestilles fra fjernlager
Forventes klar til forsendelse 13. - 19. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Architecture Design and Validation Methods
Egon Borger
This volume surveys advances in the design and validation of computer architectures. The chapters cover topics including: modelling and synthesis of behaviour, control, and dataflow; cell-based logic optimization; machine-assisted verification; and virtual machine design.
366 pages, 175 illustrations
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 6. marts 2000 |
| ISBN13 | 9783540649762 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 366 |
| Mål | 165 × 230 × 23 mm · 585 g |
| Sprog | Fransk |
| Klipper/redaktør | Borger, Egon |
Vis alle
Mere med Egon Borger
![Cover for Egon Borger · Modeling Companion for Software Practitioners (Paperback Bog) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/398/9783662566398.jpg?egon-borger-2018-modeling-companion-for-software-practitioners-paperback-bog&class=scaled&v=1604044725)
![Cover for Egon Borger · Abstract State Machines: a Method for High-level System Design and Analysis (Paperback Bog) [Softcover Reprint of the Original 1st Ed. 2003 edition] (2013)](https://imusic.b-cdn.net/images/item/original/161/9783642621161.jpg?egon-borger-2013-abstract-state-machines-a-method-for-high-level-system-design-and-analysis-paperback-bog&class=scaled&v=1408507282)
![Cover for Egon Borger · Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/021/9783540876021.jpg?egon-borger-2008-abstract-state-machines-b-and-z-first-international-conference-abz-2008-london-uk-september-16-18-2008-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1399732905)
![Cover for Egon Borger · Berechenbarkeit Komplexitat Logik (Paperback Bog) [3., Verb. Und Erw. Aufl. 1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/287/9783528289287.jpg?egon-borger-1992-berechenbarkeit-komplexitat-logik-paperback-bog&class=scaled&v=1512993936)
Se alt med Egon Borger ( f.eks. Paperback Bog , Bog og Hardcover bog )