Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Communicating Embedded Systems for Computer Sciences

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

Claude Jard

Olivier Roux

Lingua

Inglese

Libro Rigido

Codice Libristo: 01434010

Casa editrice ISTE Ltd and John Wiley & Sons Inc, novembre 2009

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster... Descrizione completa

Codice Libristo: 01434010

405 b

165.29 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Joris-Karl Huysmans : à rebours Court-Perez

In brossura

14.29 €

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

In brossura

28.69 €

Handan Ayse Kulin

In brossura

16.79 €

I Can't Stand Another Night Alone Diana Hesse

In brossura

7.29 €

Praventive Frauenfoerderung Bei Technisch-Organisatorischen Veranderungen Bärbel Meschkutat

In brossura

49.29 €

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

In brossura

32.99 €

ADAC Reiseführer Gardasee Gottfried Aigner

In brossura

11.69 €

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

Rigido

15.79 €

Analizar el auge de la ultraderecha BEATRIZ ACHA

In brossura

22.29 €

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

In brossura

41.49 €

CONCERT 02 C OP.3 VIOLON PIETRO LOCATELLI Pubblicazioni cartacee

Note

21.09 €

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

In brossura

12.99 €

Grundzuge des gegenwartigen Zeitalters Johann Gottlieb Fichte

In brossura

23.39 €

Angst, m. Audio-CD sho

In brossura

12.29 €

Odwaga bycia nielubianym Ichiro Kishimi

In brossura

8.29 €

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

In brossura

12.19 €

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

In brossura

41.99 €

Medizin in Wien Wahrend Der Letzten 100 Jahre Theodor Puschmann

In brossura

34.49 €

Burgen und Schlösser der Harzregion Bernd Sternal

Rigido

25.29 €

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.