- 5 Résultats
prix le plus bas: € 39,52, prix le plus élevé: € 110,20, prix moyen: € 62,93
1
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Commander
sur ZVAB.com
€ 56,45
Envoi: € 0,001
CommanderLien sponsorisé
Heinrich Rust:

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

2005, ISBN: 3540255761

[EAN: 9783540255765], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHMUS; ECHTZEIT; REAL-TIME; REALZEIT; BEDEUTUNG (SEMANTISCH) / BEDEUTUNGSLEHRE; SEMANTIK; ABSTRACTSTATEMA… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author
Commander
sur BarnesandNoble.com
€ 54,99
CommanderLien sponsorisé
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author - nouveau livre

ISBN: 9783540255765

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 ti… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Operational Semantics for Timed Systems
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Operational Semantics for Timed Systems - nouveau livre

ISBN: 9783540255765

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 ti… Plus…

Nr. 978-3-540-25576-5. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
4
Commander
sur Biblio.co.uk
$ 42,22
(environ € 39,52)
Envoi: € 37,701
CommanderLien sponsorisé
Rust, Heinrich:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livres de poche

2005, ISBN: 9783540255765

Springer, 2005-05-31. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-05-31, 3

Frais d'envoi EUR 37.70 GuthrieBooks
5
Commander
sur Biblio.co.uk
$ 117,73
(environ € 110,20)
Envoi: € 19,661
CommanderLien sponsorisé
Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livres de poche

2005, ISBN: 9783540255765

Springer, 2005-05-31. 2005. Paperback. Used:Good., Springer, 2005-05-31, 0

Frais d'envoi EUR 19.66 Ergodebooks

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author

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: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author


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

Livre dans la base de données depuis 2007-06-04T21:08:24+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-25T11:31:27+01:00 (Paris)
ISBN/EAN: 9783540255765

ISBN - Autres types d'écriture:
3-540-25576-1, 978-3-540-25576-5
Autres types d'écriture et termes associés:
Auteur du livre: heinrich rust, robinson, abraham
Titre du livre: operational semantics timed systems, modeling uniform systems, semantics time, programming for engineering and science


Données de l'éditeur

Auteur: Heinrich Rust
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Operational Semantics for Timed Systems - A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Editeur: Springer; Springer Berlin
224 Pages
Date de parution: 2005-04-04
Berlin; Heidelberg; DE
Poids: 0,760 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 224 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; abstract state machines; algorithms; continuous time systems; discrete time systems; hybrid systems; modeling; non-standard analysis; non-standard timed abstract state machines; operational semantics; temporal logics; timed Petri nets; timed automata; timed systems; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Operating Systems; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation; Compilers and Interpreters; Operating Systems; Formal Languages and Automata Theory; Theoretische Informatik; Compiler und Übersetzer; Betriebssysteme; EA

Includes supplementary material: sn.pub/extras



Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540320081 Operational Semantics for Timed Systems (Heinrich Rust)


< pour archiver...