- 5 resultados
menor preço: € 62.13, preço mais alto: € 172.00, preço médio: € 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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 172.00
Envio: € 3.001
EncomendarLink patrocinado
Lohr, Christophe:

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

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… mais…

Gebraucht, wie neu. Custos de envio: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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 62.13
Envio: € 3.001
EncomendarLink patrocinado

Lohr, Christophe:

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

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… mais…

Custos de envio: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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 69.00
Envio: € 0.001
EncomendarLink patrocinado
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livro de bolso

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… mais…

Custos de envio: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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 172.00
Envio: € 3.001
EncomendarLink patrocinado
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livro de bolso

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… mais…

Gebraucht, wie neu. Custos de envio: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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 62.13
Envio: € 3.001
EncomendarLink patrocinado
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livro de bolso

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… mais…

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
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.

Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2014
Editor/Editora: Éditions universitaires européennes

Livro na base de dados desde 2007-03-16T02:55:40-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-03T11:21:38-03:00 (Sao Paulo)
Número ISBN/EAN: 9786131534706

Número ISBN - Ortografia alternativa:
613-1-53470-5, 978-613-1-53470-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: lohr, löhr, christophé
Título do livro: lotos, temps temps


< Para arquivar...