Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
pluscar
Vertaling van "pluscar" in Frans
PlusCar
If you are thinking of renting a car we do recommend PlusCar.
Si vous envisagez de louer une voiture, nous vous recommandons PlusCar.
Luckily we hired a car for a week with pluscar which was great.
Heureusement, nous avons loué une voiture pour une semaine avec pluscar qui était super.
At Pluscar we do not work with hidden costs or surprises like some of our competitors do.
Chez Pluscar, nous ne travaillons pas avec des coûts cachés ou des surprises comme le font certains de nos concurrents.
Andere resultaten
Formal modeling: transition systems and the high-level language PlusCal
Modélisation formelle: systèmes de transitions et langage de haut niveau PlusCal
The problem is similar to the example of the strategic interaction between Plugcar and Netflex discussed earlier in this unit.
Ce problème est analogue à l'interaction stratégique entre Plugcar et Netflex étudié plus tôt dans l'unité.
If you knew that Netflex was not going to introduce its product, then you surely would not develop the Plugcar.
Si vous savez que Netflex ne va pas introduire son produit, vous n'allez sûrement pas développer la Plugcar.
In this thesis, we present PlusCal-2 that aims at be- ing similar to pseudo-code while being formally verifiable.
Dans ce mémoire nous présentons le langage PlusCal-2 qui vise à allier la simplicité de pseudo-code à la capacité d'être vérifié formellement.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
As above, the presence of Netflex makes Plugcar more valuable and vice versa, so they are complements.
Comme précédemment, la présence de Netflex donne plus de valeur à la décision de Plugcar, et vice versa, de telle sorte qu'elles sont complémentaires.
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
Synoniemen voor pluscar in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 112. Exact: 3. Verstreken tijd: 108 ms.
