2012, ISBN: 9781489994417
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification … Meer...
booklooker.de |
2014, ISBN: 1489994416
[EAN: 9781489994417], Nouveau livre, [SC: 11.99], [PU: Springer New York], AUTOMATICSYNTHESIS DESIGNSPECIFICATIONLANGUAGES DESIGNVERIFICATION EMBEDDEDSYSTEMS FDL2010 INTEGRATEDCIRCUITS ME… Meer...
AbeBooks.fr moluna, Greven, Germany [73551232] [Note: 4 (sur 5)] NEW BOOK. Verzendingskosten: EUR 11.99 Details... |
2014, ISBN: 9781489994417
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers design verification, automa… Meer...
booklooker.de |
2014, ISBN: 9781489994417
Selected Contributions from FDL 2010, Buch, Softcover, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2014
lehmanns.de Verzendingskosten:Lieferbar. (EUR 0.00) Details... |
2014, ISBN: 9781489994417
Selected Contributions from FDL 2010, Buch, Softcover, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2014
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2012, ISBN: 9781489994417
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification … Meer...
2014, ISBN: 1489994416
[EAN: 9781489994417], Nouveau livre, [SC: 11.99], [PU: Springer New York], AUTOMATICSYNTHESIS DESIGNSPECIFICATIONLANGUAGES DESIGNVERIFICATION EMBEDDEDSYSTEMS FDL2010 INTEGRATEDCIRCUITS ME… Meer...
2014
ISBN: 9781489994417
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers design verification, automa… Meer...
2014, ISBN: 9781489994417
Selected Contributions from FDL 2010, Buch, Softcover, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2014
2014, ISBN: 9781489994417
Selected Contributions from FDL 2010, Buch, Softcover, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2014
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - System Specification and Design Languages
EAN (ISBN-13): 9781489994417
ISBN (ISBN-10): 1489994416
pocket book
Verschijningsjaar: 2014
Uitgever: Springer-Verlag New York Inc.
Boek bevindt zich in het datenbestand sinds 2014-04-14T17:06:23+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-26T11:51:01+01:00 (Amsterdam)
ISBN/EAN: 9781489994417
ISBN - alternatieve schrijfwijzen:
1-4899-9441-6, 978-1-4899-9441-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: kaz, moraw, mora, kazmier, adam, morawiec
Titel van het boek: languages languages, system design, language
Gegevens van de uitgever
Auteur: Tom J. Kaźmierski; Adam Morawiec
Titel: Lecture Notes in Electrical Engineering; System Specification and Design Languages - Selected Contributions from FDL 2010
Uitgeverij: Springer; Springer US
256 Bladzijden
Verschijningsjaar: 2014-03-03
New York; NY; US
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 256 p.
BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Automatic Synthesis; Design Specification Languages; Design Verification; Embedded Systems; FDL 2010; Integrated Circuits; Mechanized Debugging; Rapid Prototyping; Electronic Circuits and Systems; Electronics and Microelectronics, Instrumentation; Processor Architectures; Elektronik; Rechnerarchitektur und Logik-Entwurf; BB
Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors.- Evaluating Debugging Algorithms from a Qualitative Perspective.- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks.- SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour.- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems.- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System.- Towards Abstract Analysis Techniques for Range Based System Simulations.- Modeling Time-triggered Architecture Based Real-time Systems Using SystemC.- Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach.- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework.- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code.- Architecture Specifications in CλaSH.- SyReC: A Programming Language for Synthesis of Reversible Circuits.- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.- Formal Support for Untimed MARTE-SystemC Interoperability.Covers design verification, automatic synthesis and mechanized debug aids Includes language-based modeling and design techniques for embedded systems Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE) Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780306487347 System Specification & Design Languages (Jean Mermet; Eugenio Villar)
- 9780306487347 System Specification & Design Languages (Jean Mermet; Eugenio Villar)
- 9781461414261 System Specification and Design Languages (Tom J. Ka?mierski; Adam Morawiec)
- 9781441953483 System Specification & Design Languages (Eugenio Villar; Jean Mermet)
- 9781461414278 System Specification and Design Languages (Tom J. Kazmierski; Adam Morawiec)
- 9781402074141 System Specification & Design Languages (Eugenio Villar; Jean Mermet)
< naar Archief...