Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Languages for System Specification

Name: Languages for System Specification
Brand: Springer Netherlands
SKU: 02128936
Price: 854.78 RON
Availability: InStock
Author: Christoph Grimm
ISBN: 9781402079900

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

Christoph Grimm

Limba

engleză

Carte Copertă tare

Codul Libristo: 02128936

Editura Springer Netherlands, noiembrie 1995

Contributions on UML address the application of UML in the specification of embedded HW/SW systems.... Descrierea completă

Codul Libristo: 02128936

394 b

854.78 lei

În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Jacques Vingtras La Rue-J

Carte broșată

160.44 lei

Kipi kasza Pawel Lukasik

Copertă tare

76.20 lei

Der Teppich des Lebens Stefan George

Carte broșată

63.58 lei

Memoire Concernant La Noblesse de la Maison de Viguier de Segadenes (Ed.1778) Flusin

Carte broșată

80.37 lei

Mulan Yi-Hsuan Wu

Cărți pliante

18.03 lei

Servamp. Bd.2. Bd.2 Strike Tanaka

Carte broșată

42.94 lei

Informationssysteme als integrative Infrastruktur fur Organisatorische Netzwerke Ivo Lovric

Carte broșată

237.90 lei

Praxis Sprache - Allgemeine Ausgabe 2010 Wolfgang Menzel

Copertă tare

211.63 lei

Mont Blanc Florence Lelongová

Hartă

18.86 lei

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.