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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Communicating Embedded Systems for Computer Sciences

Name: Communicating Embedded Systems for Computer Sciences
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 01434010
Price: 173.49 EUR
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

425 b

173.49 € VAT included

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

Delivery to Austria

30-day return policy

Customers also purchased

Joris-Karl Huysmans : à rebours Court-Perez

Paperback

14.29 €

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

Paperback

28.99 €

Handan Ayse Kulin

Paperback

16.79 €

I Can't Stand Another Night Alone Diana Hesse

Paperback

8.00 €

Praventive Frauenfoerderung Bei Technisch-Organisatorischen Veranderungen Bärbel Meschkutat

Paperback

49.99 €

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

Paperback

32.99 €

ADAC Reiseführer Gardasee Gottfried Aigner

Paperback

12.99 €

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

Hardback

15.79 €

Analizar el auge de la ultraderecha BEATRIZ ACHA

Paperback

22.29 €

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

Paperback

41.49 €

CONCERT 02 C OP.3 VIOLON PIETRO LOCATELLI Printed items

Sheet music

21.09 €

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

Paperback

12.99 €

Grundzuge des gegenwartigen Zeitalters Johann Gottlieb Fichte

Paperback

24.90 €

Angst, m. Audio-CD sho

Paperback

13.00 €

Odwaga bycia nielubianym Ichiro Kishimi

Paperback

8.29 €

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

Paperback

12.80 €

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

Paperback

44.99 €

Medizin in Wien Wahrend Der Letzten 100 Jahre Theodor Puschmann

Paperback

36.90 €

Burgen und Schlösser der Harzregion Bernd Sternal

Hardback

26.99 €

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.