. .
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: 21,54 €, prix le plus élevé: 105,54 €, prix moyen: 76,92 €
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) - Heinrich Rust
Livre non disponible
(*)
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: 3540255761

ID: 11808200568

[EAN: 9783540255765], Neubuch, [PU: Springer], Computers & the Internet|Operating Systems|General, Computers & the Internet|Programming|Software Development, Computers & the Internet|Programming Languages|General, This item is printed on demand.

Nouveaux livres Abebooks.de
Ergodebooks, RICHMOND, TX, U.S.A. [8304062] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 12.49
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-N

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

Nouveaux livres Barnesandnoble.com
Herb Tandree Philosophy 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: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Rust, Heinrich
Livre non disponible
(*)
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

ID: 764974596

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

livre d'occasion Biblio.com
GuthrieBooks
Frais d'envoi EUR 22.32
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 - Rust, Heinrich
Livre non disponible
(*)
Rust, Heinrich:
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livres de poche

2005, ISBN: 9783540255765

ID: 12174059930

Trade paperback, New., Trade paperback (US). Glued binding. 224 p. Contains: Illustrations, black & white. Lecture Notes in Computer Science, 3456., Berlin, Germany, [PU: Springer]

Nouveaux livres Alibris.com
Alibris
Frais d'envoiLivraison 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

2005, ISBN: 9783540255765

ID: 6549681

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems, 2005, Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Operational Semantics for Timed Systems
Auteur:

Rust, Heinrich

Titre:

Operational Semantics for Timed Systems

ISBN:

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 19.06.2017 09:21:33
ISBN/EAN: 3540255761

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


< pour archiver...
Livres en relation