Vertaling van "PlusCar" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Si vous envisagez de louer une voiture, nous vous recommandons PlusCar.
If you are thinking of renting a car we do recommend PlusCar.
Heureusement, nous avons loué une voiture pour une semaine avec pluscar qui était super.
Luckily we hired a car for a week with pluscar which was great.
Chez Pluscar, nous ne travaillons pas avec des coûts cachés ou des surprises comme le font certains de nos concurrents.
At Pluscar we do not work with hidden costs or surprises like some of our competitors do.
Andere resultaten
Modélisation formelle: systèmes de transitions et langage de haut niveau PlusCal
Formal modeling: transition systems and the high-level language PlusCal
Méthode météorologique - peut-être le plusscore.
Meteorological method - perhaps the mostscore.
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.
In this thesis, we present PlusCal-2 that aims at be- ing similar to pseudo-code while being formally verifiable.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
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.
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.
Lire plusCAL LLOP, a été sélectionné par TRIVAGO dans la liste des 10 meilleurs Hotels pour l'oenoturisme en Espagne
Leer másCal Llop, selected by Trivago as one of the top 10 hotels in Spain to enjoy enotourism
La carte PlusCard Gazole Professionnel est une carte de crédit créée spécialement par PETROMIRALLES pour les transporteurs professionnels et pour les entreprises du secteur du transport, afin de leur offrir un moyen moderne et sécurisé pour s'approvisionner sur leur trajet.
The "Professional Diesel PlusCard" is a credit card especially created by PETROMIRALLES for own-account carriers and transportation companies that have a Spanish NIF (Fiscal Identification Number). It offers them a safe and comfortable way of filling up their tanks along the Spanish highways.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
