. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 14,04 €, prix le plus élevé: 121,11 €, prix moyen: 84,28 €
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems (Paperback) - Heinrich Rust
Livre non disponible
(*)
Heinrich Rust:

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems (Paperback) - Livres de poche

2005, ISBN: 3540255761

ID: 14610325975

[EAN: 9783540255765], Neubuch, [PU: Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany], Computers & the Internet|Operating Systems|General, Computers & the Internet|Programming|Software Development, Computers & the Internet|Programming Languages|General, Language: English . Brand New Book ***** Print on Demand *****.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).

Nouveaux livres Abebooks.de
The Book Depository EURO, London, United Kingdom [60485773] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 3.54
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Livre non disponible
(*)

Heinrich Rust:

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livres de poche

ISBN: 9783540255765

ID: 594294137

Springer. Paperback. New. Paperback. 224 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.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 dierent 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. Themainideatointegratethesedierentviewsisadiscretizationofthedense real-number time structure by using constant innitesimal 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 dierent 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, renement and embedding of continuous and discrete models into one uniform semantic framework calledNon-standard Timed Abstract State Machines(NTASM). This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN., Springer

livre d'occasion Biblio.com
BuySomeBooks
Frais d'envoi EUR 10.77
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Livre non disponible
(*)
Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livres de poche

ISBN: 9783540255765

ID: 9783540255765

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Operational-Semantics-for-Timed-Systems~~Heinrich-Rust Other Database Tools>Other Database Tools Paperback, Springer Berlin Heidelberg

Nouveaux livres Barnesandnoble.com
new Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Livre non disponible
(*)
Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livres de poche

ISBN: 9783540255765

ID: 9783540255765-U

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Operational-Semantics-for-Timed-Systems~~Heinrich-Rust Other Database Tools>Other Database Tools Paperback, Springer Berlin Heidelberg

livre d'occasion Barnesandnoble.com
Better World Books
new Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Operational Semantics for Timed Systems - Heinrich Rust
Livre non disponible
(*)
Heinrich Rust:
Operational Semantics for Timed Systems - Livres de poche

ISBN: 9783540255765

ID: 517209895

Springer . softcover. New. pp. xii + 223, Springer

livre d'occasion Biblio.com
Cold Books
Frais d'envoi EUR 15.39
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
Operational Semantics for Timed Systems
Auteur:

Rust, Heinrich

Titre:

Operational Semantics for Timed Systems

ISBN:

3540255761

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism.The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.

Informations détaillées sur le livre - Operational Semantics for Timed Systems


EAN (ISBN-13): 9783540255765
ISBN (ISBN-10): 3540255761
Version reliée
Livre de poche
Date de parution: 2005
Editeur: Springer-Verlag GmbH
240 Pages
Poids: 0,369 kg
Langue: eng/Englisch

Livre dans la base de données depuis 04.06.2007 21:08:24
Livre trouvé récemment le 10.12.2016 13:26:20
ISBN/EAN: 3540255761

ISBN - Autres types d'écriture:
3-540-25576-1, 978-3-540-25576-5

< Retour aux résultats de recherche...
< pour archiver...
Livres en relation