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 courier 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 DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

Communicating Embedded Systems for Computer Sciences

Name: Communicating Embedded Systems for Computer Sciences
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 01434010
Price: 60642 HUF
Availability: InStock
Author: Claude Jard
ISBN: 9781848211438

Claude Jard

Olivier Roux

Language

English

Book Hardback

Libristo code: 01434010

Publishers ISTE Ltd and John Wiley & Sons Inc, November 2009

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster... Full description

Libristo code: 01434010

417 b

60 642 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Joris-Karl Huysmans : à rebours Court-Perez

Paperback

4 889 Ft

Lucas Cranach: Historischer Roman. Luther Und Lucas Cranach ... Hermann Klencke

Paperback

10 512 Ft

Handan Ayse Kulin

Paperback

6 174 Ft

I Can't Stand Another Night Alone Diana Hesse

Paperback

2 676 Ft

Praventive Frauenfoerderung Bei Technisch-Organisatorischen Veranderungen Bärbel Meschkutat

Paperback

18 109 Ft

L'Architecture d'Aujourd'hui n°455 - Afriques - Juin 2023

Paperback

11 264 Ft

ADAC Reiseführer Gardasee Gottfried Aigner

Paperback

4 310 Ft

Lidová píseň v Čechách Adam Votruba

Hardback

5 311 Ft

Analizar el auge de la ultraderecha BEATRIZ ACHA

Paperback

8 207 Ft

L'Art religieux du XIIIe siècle en France Émile Mâle

Paperback

14 179 Ft

CONCERT 02 C OP.3 VIOLON PIETRO LOCATELLI Printed items

Sheet music

7 207 Ft

Speak polish a practical self study guide part 1 levels a1-a2 + MP3 wyd. 2 Justyna Bednarek

Paperback

4 365 Ft

Grundzuge des gegenwartigen Zeitalters Johann Gottlieb Fichte

Paperback

8 616 Ft

Angst, m. Audio-CD sho

Paperback

4 540 Ft

Odwaga bycia nielubianym Ichiro Kishimi

Paperback

2 768 Ft

Prinzessin der Herzen - ein Drama im Spiegel der Galaxien Helmar Neubacher

Paperback

4 485 Ft

Rechtsformwahl fur die wirtschaftliche Betatigung der Gemeinden nach nordrhein-westfalischem Landesrecht André Klocksin

Paperback

15 487 Ft

Medizin in Wien Wahrend Der Letzten 100 Jahre Theodor Puschmann

Paperback

12 706 Ft

Burgen und Schlösser der Harzregion Bernd Sternal

Hardback

9 332 Ft

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.§Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.§This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.