LIBRISTO
LIBROAMANTO
obvezno
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 Zbirna točka DPD 2.99 Kurirska služba GLS 5.49 Kurir DPD 3.49 Kurirska služba 3.49 Zbirno mesto 3.49 Zbirno mesto 3.49 Dostava preko Pošte Slovenije 3.49

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Languages for System Specification

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

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Languages for System Specification Christoph Grimm
Koda Libristo: 02128936
Založba Springer Netherlands, november 1995
Contributions on UML address the application of UML in the specification of embedded HW/SW systems.... Celoten opis
? points 353 b
145.69
Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

30 dni za vračilo blaga


Drugi so kupili tudi


Kipi kasza Pawel Lukasik / Knjiga Trda
common.buy 12.81
Jacques Vingtras La Rue-J / Knjiga Mehka
common.buy 27.76
Der Teppich des Lebens Stefan George / Knjiga Mehka
common.buy 10.79
Mulan Yi-Hsuan Wu / Knjiga Kartonka
common.buy 3.02
Servamp. Bd.2. Bd.2 Strike Tanaka / Knjiga Mehka
common.buy 7.46
Praxis Sprache - Allgemeine Ausgabe 2010 Wolfgang Menzel / Knjiga Trda
common.buy 36.44
Mont Blanc Florence Lelongová / Tiskani izdelki Zemljevid
common.buy 3.12

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi


Lost in Vegas Edward Anchel / Knjiga Mehka
common.buy 9.88
Automotive Brake Systems James D. Halderman / Knjiga Mehka
common.buy 179.82
Last Dogs: The Vanishing Christopher Holt / Knjiga Mehka
common.buy 15.34
Corporate Prison R Warren Schuenemann / Knjiga Trda
common.buy 41.99
Loopy Logic! Kirsty Holmes / Knjiga Mehka
common.buy 8.27
Top
Nudge Richard H. Thaler / Knjiga Mehka
common.buy 13.12
Unpacking the Personal Library Jason Camlot / Knjiga Trda
common.buy 77.84
Catalogue Raisonne of Works on the Occult Sciences F. Leigh GardnerWilliam Wynn Westcott / Knjiga Mehka
common.buy 46.03
Top
Sumer and the Sumerians Harriet E W Crawford / Knjiga Mehka
common.buy 56.33
Horse from Concep.to Maturity Melanie Bailey / Knjiga Trda
common.buy 27.35
I Want a Cat! Tony Ross / Knjiga Mehka
common.buy 11.80
Anti-Suit Injunction Updating Supplement Thomas Raphael / Knjiga Mehka
common.buy 117.62
Advancing Workforce Health at the Department of Homeland Security Board on Health Sciences Policy / Knjiga Mehka
common.buy 72.38
Kmalu
From Beijing to Port Moresby Virginia Domingues / Knjiga Trda
common.buy 204.96

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?