Personnaliser

OK
Foundations Of Real-Time Computing: Formal Specifications And Methods Format Broché

Foundations of Real-Time Computing: Formal Specifications and Methods -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion
Reconditionné

192,71 €

Produit Neuf

  • Ou 48,18 € /mois

    • En savoir plus
    • Livraison à 0,01 €
    • Livré entre le 2 et le 9 mai
    Voir les modes de livraison

    RiaChristie

    PRO Vendeur favori

    4,9/5 sur + de 1 000 ventes

    Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461367963_dbm

    Nos autres offres

    • 231,02 €

      Produit Neuf

      Ou 57,76 € /mois

      En savoir plus
      • Livraison : 25,00 €
      • Livré entre le 16 et le 21 mai
      Voir les modes de livraison

      Kelindo

      PRO

      4,8/5 sur + de 1 000 ventes
      Afficher la description de l'annonce

      Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème
    Terminer ma commande

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    TROUVER UN MAGASIN

      Retour

      Horaires

          Note :


          Avis sur Foundations Of Real - Time Computing: Formal Specifications And Methods Format Broché  - Livre Informatique

          Note : 0 0 avis sur Foundations Of Real - Time Computing: Formal Specifications And Methods Format Broché  - Livre Informatique

          Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


          Présentation Foundations Of Real - Time Computing: Formal Specifications And Methods Format Broché

           - Livre Informatique

          Livre Informatique - 01/10/2012 - Broché - Langue : Anglais

          . .

        • Editeur : Springer Us, New York, N.Y.
        • Langue : Anglais
        • Parution : 01/10/2012
        • Format : Moyen, de 350g à 1kg
        • Nombre de pages : 332
        • Expédition : 505
        • Dimensions : 23.5 x 15.5 x 1.9
        • ISBN : 1461367964



          • Sommaire:
          1 Towards Mechanization of Real-Time System Design.- 2 Derivation of Sequential, Real-Time, Process Control Programs.- 3 Mathematical Models of Real-Time Scheduling.- 4 Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation.- 5 Theory of Real-Time Systems - Project Survey.- 6 HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems.- 7 Concepts and Models for Real-Time Concurrency.- 8 Automated Analysis of Concurrent and Real-Time Software.- 9 Towards a Timing Semantics for Programming Languages.- 10 FLEX: A Language for Programming Flexible Real-Time Systems.- 11 Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier.