Contribution La Conception De Systmes Temps-rel

94.00 CHF
+ 15.49 CHF Livraison

Contribution La Conception De Systmes Temps-rel

Vendu par:

94.00 CHF

En stock
+ 15.49 CHF Livraison

Retours sous 14 jours

Modes de paiement:


Détails du produit

Détails du produit

Contribution La Conception De Systmes Temps-rel

Cet Ouvrage Sintresse La Conception De Systmes Temps-rel En Sappuyant Sur La Mthode Formelle Rt-lotos, Extension Temporelle Lalgbre De Processus Lotos. Il Aborde Plusieurs Points Relatifs La Spcification, La Validation Et Lordonnancement De Systmes Concurrents Sujets Des Contraintes Logiques Et Temporelles. La Premire Partie Prsente Le Langage Rt-lotos Et La Technique De Vrification Formelle Associe Base Sur Une Analyse Daccessibilit.
  • Identifiant Fruugo: 557289368-1125559294
  • ISBN: 9786131534706
Livraison

Livraison

Expédié sous 24 h

  • STANDARD: 15.49 CHF - Livraison entre jeu. 12 novembre 2026–lun. 16 novembre 2026

Expédié depuis le Royaume-Uni.

Retours

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et conformément à votre commande. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et obtenir le remboursement intégral des articles retournés.

Consulter la politique de retour complète