LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 DHL 6.99 GLS 7.99

Spedizione gratuita per ordini superiori a 69,99 euro.

Languages for System Specification

Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03

Lingua IngleseInglese
Libro Rigido
Libro Languages for System Specification Christoph Grimm
Codice Libristo: 02128936
Casa editrice Springer Netherlands, novembre 1995
Contributions on UML address the application of UML in the specification of embedded HW/SW systems.... Descrizione completa
? points 394 b
160.89
Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso


I clienti hanno acquistato anche


Kipi kasza Pawel Lukasik / Libro Rigido
common.buy 15.19
Jacques Vingtras La Rue-J / Libro In brossura
common.buy 30.19
Der Teppich des Lebens Stefan George / Libro In brossura
common.buy 12.69
Mulan Yi-Hsuan Wu / Libro Leporello
common.buy 3.39
Servamp. Bd.2. Bd.2 Strike Tanaka / Libro In brossura
common.buy 8.09
Praxis Sprache - Allgemeine Ausgabe 2010 Wolfgang Menzel / Libro Rigido
common.buy 39.79
Mont Blanc Florence Lelongová / Pubblicazioni cartacee Mappa
common.buy 3.79

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems. §Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Potrebbe interessarti anche


Lost in Vegas Edward Anchel / Libro In brossura
common.buy 11.19
Automotive Brake Systems James D. Halderman / Libro In brossura
common.buy 200.29
Last Dogs: The Vanishing Christopher Holt / Libro In brossura
common.buy 17.09
Natural Resource Extraction and Development Roy Maconachie / Libro Rigido
common.buy 113.19
Corporate Prison R Warren Schuenemann / Libro Rigido
common.buy 45.59
Loopy Logic! Kirsty Holmes / Libro In brossura
common.buy 9.09
I migliori
Nudge Richard H. Thaler / Libro In brossura
common.buy 14.99
Unpacking the Personal Library Jason Camlot / Libro Rigido
common.buy 85.79
Black Chaplains In the United Stated Army 1863-1945 Anthony Powell / Libro In brossura
common.buy 25.69
Microsoft Power BI Cookbook - Third Edition Brett Powell / Libro In brossura
common.buy 60.29
Catalogue Raisonne of Works on the Occult Sciences F. Leigh GardnerWilliam Wynn Westcott / Libro In brossura
common.buy 50.19
I migliori
Sumer and the Sumerians Harriet E W Crawford / Libro In brossura
common.buy 61.39
Horse from Concep.to Maturity Melanie Bailey / Libro Rigido
common.buy 32.29
I Want a Cat! Tony Ross / Libro In brossura
common.buy 12.99
Anti-Suit Injunction Updating Supplement Thomas Raphael / Libro In brossura
common.buy 127.09
Advancing Workforce Health at the Department of Homeland Security Board on Health Sciences Policy / Libro In brossura
common.buy 78.59
In preparazione
From Beijing to Port Moresby Virginia Domingues / Libro Rigido
common.buy 224.29

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?