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.

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 !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Duration Calculus de Chaochen Zhou Format Broché - Livre Informatique

Note : 0 0 avis sur Duration Calculus de Chaochen Zhou Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

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

Produits similaires

Présentation Duration Calculus de Chaochen Zhou Format Broché
- Livre Informatique

Livre Informatique - Chaochen Zhou - 01/12/2010 - Broché - Langue : Anglais

Auteur(s) : Chaochen Zhou - Michael R. Hansen

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/12/2010

Format : Moyen, de 350g à 1kg

Nombre de pages : 264

Expédition : 406

Dimensions : 23.5 x 15.5 x 1.5

ISBN : 3642074049

Résumé :
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler)....

Biographie:
Professor ZHOU Chaochen, Institute of Software, Chinese Academy of Sciences. Members of Chinese Academy of Sciences and the Third World Academy of Sciences. Former Director of International Institute for Software Technology, United Nations University. He has had about 30 years research experience in the area of formal techniques for computing systems, in particular for distributed and real-time systems. Associate Prof. Michael R. Hansen. Informatics and Mathematical Modelling, Technical University of Denmark Research interests: Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus....

Sommaire:
1. Introduction.- 2. Interval Logic.- 3. Duration Calculus.- 4. Deadline-Driven Scheduler.- 5. Relative Completeness.- 6. Decidability.- 7. Undecidability.- 8. Model Checking: Linear Duration Invariants.- 9. State Transitions and Events.- 10. Superdense State Transitions.- 11. Neighborhood Logic.- 12. Probabilistic Duration Calculus.- References.- Abbreviations.- Symbol Index.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Duration Calculus - Chaochen Zhou

Avis sur Duration Calculus de Chaochen Zhou Format Broché - Livre Informatique

Présentation Duration Calculus de Chaochen Zhou Format Broché - Livre Informatique

Présentation Duration Calculus de Chaochen Zhou Format Broché
- Livre Informatique