- 5 Risultati
prezzo più basso: € 62,13, prezzo più alto: € 172,00, prezzo medio: € 107,45
1
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Ordina
da Amazon.de (Intern. Bücher)
€ 172,00
Spedizione: € 3,001
OrdinaLink sponsorizzato
Lohr, Christophe:

Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - edizione con copertina flessibile

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Altro …

Gebraucht, wie neu. Costi di spedizione:Gewöhnlich versandfertig in 9 bis 10 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) LA CABANE A LIVRES
2
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Ordina
da Amazon.de (Intern. Bücher)
€ 62,13
Spedizione: € 3,001
OrdinaLink sponsorizzato

Lohr, Christophe:

Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - edizione con copertina flessibile

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Ordina
da Amazon.de (Intern. Bücher)
€ 69,00
Spedizione: € 0,001
OrdinaLink sponsorizzato
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - edizione con copertina flessibile

2010

ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Altro …

Costi di spedizione:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
4
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Ordina
da Amazon.de (Intern. Bücher)
€ 172,00
Spedizione: € 3,001
OrdinaLink sponsorizzato
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - edizione con copertina flessibile

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.67 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Büche… Altro …

Gebraucht, wie neu. Costi di spedizione:Gewöhnlich versandfertig in 9 bis 10 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) LA CABANE A LIVRES
5
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Ordina
da Amazon.de (Intern. Bücher)
€ 62,13
Spedizione: € 3,001
OrdinaLink sponsorizzato
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - edizione con copertina flessibile

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.67 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Büche… Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.)

Cet ouvrage s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxième partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Informazioni dettagliate del libro - Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.)


EAN (ISBN-13): 9786131534706
ISBN (ISBN-10): 6131534705
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2014
Editore: Éditions universitaires européennes

Libro nella banca dati dal 2007-03-16T06:55:40+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-03T15:21:38+01:00 (Zurich)
ISBN/EAN: 6131534705

ISBN - Stili di scrittura alternativi:
613-1-53470-5, 978-613-1-53470-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : lohr, löhr, christophé
Titolo del libro: lotos, temps temps


< Per archiviare...