Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Languages for System Specification

Name: Languages for System Specification
Brand: Springer, Berlin
SKU: 02128978
Price: 60793 HUF
Availability: InStock
Author: Christoph Grimm
ISBN: 9781441954572

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

Christoph Grimm

Language

English

Book Paperback

Libristo code: 02128978

Publishers Springer, Berlin, October 2010

Contributions on UML address the application of UML in the specification of embedded HW/SW systems.... Full description

Libristo code: 02128978

406 b

60 793 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Unche Log Rajvansh

Paperback

6 252 Ft

Systemgeschaft Und Integralqualitaten Tilmann Raff

Paperback

20 910 Ft

CHABOLO, PATIO Y ESCUELA IGNACIO ALCALDE SANCHEZ

Paperback

8 829 Ft

Microsoft Office Access Estifanos Tilahun Mihret

Paperback

14 132 Ft

Diplo Cloud Chandana Priya Poreddy

Paperback

14 132 Ft

Handbuch des Antisemitismus, Band 3, Begriffe, Theorien, Ideologien Brigitte Mihok

Hardback

95 984 Ft

Überlegungen zu einer neuen methodischen Phase des Zivilprozesses Fabiano Andrade Minuzzi

Paperback

14 132 Ft

Tu vas être papa - Ma petite famille Cédric Rostein

Paperback

6 008 Ft

Ego-State-Therapie bei Traumafolgestörungen Kai Fritzsche

Paperback

22 555 Ft

La protection des secrets des affaires : enjeux et perspectives Garinot

Paperback

22 454 Ft

Carnet de Cuisine Sauvage Bertrand

Hardback

6 654 Ft

Comedia Sin Desenlace: Estudio Comico-Politico En Tres Actos Y En Prosa (1892) Jose Echegaray

Paperback

8 903 Ft

Der Wandel der Unternehmensfuhrung in Buyouts Annabell Geidner

Paperback

28 477 Ft

Kreibohms Welt! Stefan Kreibohm

Paperback

5 710 Ft

Mehlspeisen Ludovica Von Propper

Paperback

7 106 Ft

Parkinson Cécile Pelette

Paperback

21 883 Ft

El Club de las Canguro 1. La gran idea de Kristy ANN M. MARTIN

Paperback

8 710 Ft

Einfuhrung in Die Programmiersprache ADA Manfred Nagl

Paperback

20 910 Ft

Johann Kepler - der Gesetzgeber der neueren Astronomie Adolf Müller

Paperback

8 872 Ft

1.000 der besten 70.000 Gedichte, Gebote, Sprüche, Zitate von Aachen bis Zytotoxizität Gerhard Gnann

Paperback

5 681 Ft

Estudio en escarlata Arthur Conan - Sir - Doyle

Paperback

6 281 Ft

Para cada tiempo hay un libro Alberto Manguel

Paperback

5 576 Ft

Prometo Amarme y Respetarme Todos Los Dias de Mi Vida Adriana Macias

Paperback

5 861 Ft

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.