LIBRISTO
LIBROAMANTO
obvezno
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 DPD točka 3.49 GLS Kurir 4.99 GLS paketomat 3.99 Hrvatska pošta 4.99 Dostava Overseas 4.99 Box Now 4.49

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Languages for System Specification

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

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Languages for System Specification Christoph Grimm
Libristo kod: 02128936
Nakladnici Springer Netherlands, studeni 1995
Contributions on UML address the application of UML in the specification of embedded HW/SW systems.... Cijeli opis
? points 406 b
168.02
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat


Kupci su kupili i


Jacques Vingtras La Rue-J / Knjiga Meki uvez
common.buy 26.75
Der Teppich des Lebens Stefan George / Knjiga Meki uvez
common.buy 11.44
Mulan Yi-Hsuan Wu / Knjiga Leporelo
common.buy 3.23
Servamp. Bd.2. Bd.2 Strike Tanaka / Knjiga Meki uvez
common.buy 7.79
Mont Blanc Florence Lelongová / Tiskanica Mapa
common.buy 3.44
Praxis Sprache - Allgemeine Ausgabe 2010 Wolfgang Menzel / Knjiga Tvrdi uvez
common.buy 41.03

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i


Automotive Brake Systems James D. Halderman / Knjiga Meki uvez
common.buy 249.50
Last Dogs: The Vanishing Christopher Holt / Knjiga Meki uvez
common.buy 16.41
Natural Resource Extraction and Development Roy Maconachie / Knjiga Tvrdi uvez
common.buy 108.94
Corporate Prison R Warren Schuenemann / Knjiga Tvrdi uvez
common.buy 44.18
Lost in Vegas Edward Anchel / Knjiga Meki uvez
common.buy 10.63
Loopy Logic! Kirsty Holmes / Knjiga Meki uvez
common.buy 8.71
Top
Nudge Richard H. Thaler / Knjiga Meki uvez
common.buy 14.48
Unpacking the Personal Library Jason Camlot / Knjiga Tvrdi uvez
common.buy 82.59
Microsoft Power BI Cookbook - Third Edition Brett Powell / Knjiga Meki uvez
common.buy 58.26
Sumer and the Sumerians Harriet E W Crawford / Knjiga Meki uvez
common.buy 56.54
Catalogue Raisonne of Works on the Occult Sciences F. Leigh GardnerWilliam Wynn Westcott / Knjiga Meki uvez
common.buy 46.20
Horse from Concep.to Maturity Melanie Bailey / Knjiga Tvrdi uvez
common.buy 28.97
I Want a Cat! Tony Ross / Knjiga Meki uvez
common.buy 12.56
Anti-Suit Injunction Updating Supplement Thomas Raphael / Knjiga Meki uvez
common.buy 118.06

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?