Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler

Langue : anglais

Edité par Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, 2015

3838134605 / 9783838134604

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 5 août 2024

Livre broché

Etat: Neuf

EUR 75,15

EUR 70,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler | Thomas Göthel | Taschenbuch | Paperback | 240 S. | Englisch | 2015 | Südwestdeutscher Verlag für Hochschulschriften AG Co. KG | EAN 9783838134604 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

N° de réf. du vendeur 106324191

Titre
Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler
Auteur
Thomas Göthel
Éditeur
Südwestdeutscher Verlag für Hochschulschriften AG Co. KG
Année de publication
2015
État de l'article
Neu
Reliure
Taschenbuch
Langue
anglais
ISBN à 10 chiffres
3838134605
ISBN à 13 chiffres
9783838134604
Poids de l'article
375 grammes
Dimensions
220 x 150 x 15 mm
Catalogues du vendeur
Bücher

preigu

Osnabrück, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 5 août 2024

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 70,00EUR 70,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Paypal

Description de la boutique

preigu betreibt einen Onlineversandhandel mit über 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus Büchern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.

Spécialité

Bücher, Spielwaren

Profil professionnel du vendeur

preigu GmbH & Co. KG

Lengericher Landstraße 19
Osnabrück, Allemagne 49078