Operational Semantics for Timed Systems - Rust, Heinrich
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre89,45 €
Produit Neuf
Ou 22,36 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 11 mai
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.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Operational Semantics For Timed Systems Format Broché - Livre Informatique
0 avis sur Operational Semantics For Timed Systems Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Caractère Chinois Étymologie Graphies Lexiques Wieger
Occasion dès 120,00 €
-
Antecume Ou Une Autre Vie
Occasion dès 75,63 €
-
Athenaze, Book I
Neuf dès 110,94 €
-
Athenaze, Book Ii
Neuf dès 132,48 €
Occasion dès 218,61 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Classic Beauty
Neuf dès 52,14 €
-
Guitar World S 50 Greatest Rock Songs Of All Time Guitar Recorded Versions Note-For-Note Transcriptions Of Iconic Rock Hits
Neuf dès 52,69 €
Occasion dès 78,99 €
-
Journal Romain: 1985 - 1986
Occasion dès 63,82 €
-
A First Course In The Finite Element Method, Enhanced Edition, Si Version
Neuf dès 127,69 €
-
A Hebrew And English Lexicon Of The Old Testament
Occasion dès 49,30 €
-
Precis De Droit Constitutionnel
Occasion dès 45,80 €
-
Starting Data Analytics With Generative Ai And Python
Neuf dès 66,47 €
-
Sociobiology
Neuf dès 73,58 €
Occasion dès 64,68 €
-
Anne Of Green Gables, Complete 8-Book Box Set
Occasion dès 105,90 €
-
500 Animals In Clay : Contemporary Expressions Of The Animal Form A Lark Ceramics Book
Occasion dès 45,00 €
-
Categories For The Working Mathematician
Neuf dès 71,58 €
-
Falkland Road
Neuf dès 83,87 €
-
Monster Hunter Illustrations 2 (Hardcover)
Neuf dès 69,84 €
Occasion dès 69,00 €
-
The Acme Novelty Date Book
1 avis
Neuf dès 47,60 €
Occasion dès 62,02 €
-
Marvel Vs Capcom: Ultimate Complete Works
Neuf dès 75,86 €
Produits similaires
Présentation Operational Semantics For Timed Systems Format Broché
- Livre Informatique
Résumé :
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di?erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, in continuous systems time is seen as a dense ?ow. Themainideatointegratethesedi?erentviewsisadiscretizationofthedense real-number time structure by using constant in?nitesimal time steps within each real-number point in time. The underlying mathematical structure of this time model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr- tion of sequential discrete algorithms at di?erent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and temporal logic. These ingredients produce a rich formal basis for describing a large variety of systems with quantitative linear time prop- ties, by seamless integration, re?nement and embedding of continuous and discrete models into one uniform semantic framework called?Non-standard Timed Abstract State Machines?(NTASM).
Biographie:
Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik f?r Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universit?t Karlsruhe (TH)....
Détails de conformité du produit
Personne responsable dans l'UE