ISBN: 9781402065361
The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today's design flow has to b… Meer...
Orellfuessli.ch Nr. A1031485277. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 17.62) Details... |
ISBN: 9781402065361
Robustness and Usability in Modern Design Flows: ab 117.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Verzendingskosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9781402065361
Robustness and Usability in Modern Design Flows: ab 96.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Verzendingskosten:in stock, , , DE. (EUR 0.00) Details... |
2008, ISBN: 9781402065361
eBooks, eBook Download (PDF), 2008, [PU: Springer Netherlands], Springer Netherlands, 2008
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2008, ISBN: 9781402065361
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2008
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 9.95) Details... |
bij Orellfuessli.ch
ISBN: 9781402065361
The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today's design flow has to b… Meer...
ISBN: 9781402065361
Robustness and Usability in Modern Design Flows: ab 117.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
ISBN: 9781402065361
Robustness and Usability in Modern Design Flows: ab 96.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
2008, ISBN: 9781402065361
eBooks, eBook Download (PDF), 2008, [PU: Springer Netherlands], Springer Netherlands, 2008
2008, ISBN: 9781402065361
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2008
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Robustness and Usability in Modern Design Flows
EAN (ISBN-13): 9781402065361
ISBN (ISBN-10): 1402065361
Verschijningsjaar: 2008
Uitgever: Springer Netherlands
166 Bladzijden
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2010-04-08T01:27:39+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-24T14:04:29+02:00 (Amsterdam)
ISBN/EAN: 1402065361
ISBN - alternatieve schrijfwijzen:
1-4020-6536-1, 978-1-4020-6536-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: drechsler, will fey
Titel van het boek: modern design, design robust, drechsler
Gegevens van de uitgever
Auteur: Görschwin Fey; Rolf Drechsler
Titel: Robustness and Usability in Modern Design Flows
Uitgeverij: Springer; Springer Netherland
166 Bladzijden
Verschijningsjaar: 2008-01-08
Dordrecht; NL
Taal: Engels
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XVIII, 166 p.
EA; E107; eBook; Nonbooks, PBS / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Debugging; Design Methodology; Erfüllbarkeitsproblem der Aussagenlogik; Formal Methods; Testing; Usability; algorithms; data structures; formal verification; integrated circuit; verification; C; Electronic Circuits and Systems; Formal Languages and Automata Theory; Theory of Computation; Electronics and Microelectronics, Instrumentation; Engineering; Theoretische Informatik; Elektronik; BB
Dedication. List of Figures. List of Tables. Preface. 1. Introduction. 2. Preliminaries. 3. Algorithms and Data Structures. 4. Synthesis. 5. Property Generation. 6. Diagnosis. 7. Summary and Conclusions. References. Index of Symbols. Index.More automation for time consuming tasks Powerful tools by exploiting formal techniques Visionary approach for formal design verification Debugging at the source level becomes easy Robustness against error prone manual interventions
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789048176625 Robustness and Usability in Modern Design Flows (Fey, Görschwin)
- 9789048176625 Robustness and Usability in Modern Design Flows (Fey, Görschwin)
- 9781441921642 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics Marco Pettini Author (Pettini, Marco)
- 9789048115334 Robustness and Usability in Modern Design Flows (Goerschwin, Fey; Drechsler, Rolf)
- 9781402065354 Robustness and Usability in Modern Design Flows (Görschwin Fey/ Rolf Drechsler)
- 9780387308920 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Pettini, Marco)
- Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Interdisciplinary Applied Mathematics) by Marco Pettini (2007-07-27) (Marco Pettini)
- Robustness and Usability in Modern Design Flows (Görschwin Fey, Rolf Drechsler)
- Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Interdi (Pettini, Marco)
< naar Archief...