Robustness and Usability in Modern Design Flows / Rolf Drechsler (u. a.) / Taschenbuch / Paperback / xviii / Englisch / 2010 / Springer Netherland / EAN 9789048176625 - pocketboek
2010, ISBN: 9789048176625
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not k… Meer...
booklooker.de |
2010, ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
Amazon.de (Intern... |
2010, ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
Amazon.de (Intern... Books Around the World DE Verzendingskosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 904817662X
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Elektronik, Theoretische Informatik, debugging; Designmethodology; ErfüllbarkeitsproblemderAussagenlogik; formalmetho… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Robustness and Usability in Modern Design Flows / Rolf Drechsler (u. a.) / Taschenbuch / Paperback / xviii / Englisch / 2010 / Springer Netherland / EAN 9789048176625 - pocketboek
2010, ISBN: 9789048176625
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not k… Meer...
2010, ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
2010
ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
2010, ISBN: 9789048176625
Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...
2010, ISBN: 904817662X
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Elektronik, Theoretische Informatik, debugging; Designmethodology; ErfüllbarkeitsproblemderAussagenlogik; formalmetho… Meer...
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): 9789048176625
ISBN (ISBN-10): 904817662X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
184 Bladzijden
Gewicht: 0,287 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-02-14T13:16:41+01:00 (Amsterdam)
Boek voor het laatst gevonden op 2024-05-24T21:21:23+02:00 (Amsterdam)
ISBN/EAN: 9789048176625
ISBN - alternatieve schrijfwijzen:
90-481-7662-X, 978-90-481-7662-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: drechsler, will fey
Titel van het boek: modern well 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: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XVIII, 166 p.
BC; Hardcover, Softcover / 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; Electronic Circuits and Systems; Formal Languages and Automata Theory; Theory of Computation; Electronics and Microelectronics, Instrumentation; 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:
9781441921642 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Interdisciplinary Applied Mathematics, Band 33) (Pettini, Marco)
- 9781441921642 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Interdisciplinary Applied Mathematics, Band 33) (Pettini, Marco)
- 9789048115334 Robustness and Usability in Modern Design Flows (Goerschwin, Fey; Drechsler, Rolf)
- 9781402065361 Robustness and Usability in Modern Design Flows (Görschwin Fey; Rolf Drechsler)
- 9781402065354 Robustness and Usability in Modern Design Flows (Görschwin Fey; Rolf Drechsler)
- 9780387308920 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Marco Pettini)
- 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...