- 5 resultados
menor preço: € 39.52, preço mais alto: € 110.20, preço médio: € 62.93
1
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Encomendar
no/na ZVAB.com
€ 56.45
Envio: € 0.001
EncomendarLink patrocinado
Heinrich Rust:

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

2005, ISBN: 3540255761

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

NEW BOOK. Custos de envio:Versandkostenfrei. (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
Encomendar
no/na BarnesandNoble.com
€ 54.99
EncomendarLink patrocinado
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author - nuovo livro

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… mais…

new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio
3
Operational Semantics for Timed Systems
Encomendar
no/na Springer.com
€ 53.49
Envio: € 0.001
EncomendarLink patrocinado
Operational Semantics for Timed Systems - nuovo livro

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… mais…

Nr. 978-3-540-25576-5. Custos de envio:Worldwide free shipping, , DE. (EUR 0.00)
4
Encomendar
no/na Biblio.co.uk
$ 42.22
(aproximadamente € 39.52)
Envio: € 37.701
EncomendarLink patrocinado
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) - Livro de bolso

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

Custos de envio: EUR 37.70 GuthrieBooks
5
Encomendar
no/na Biblio.co.uk
$ 117.73
(aproximadamente € 110.20)
Envio: € 19.661
EncomendarLink patrocinado
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) - Livro de bolso

2005, ISBN: 9783540255765

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

Custos de envio: EUR 19.66 Ergodebooks

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
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.

Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Springer Berlin Heidelberg Core >1 >T
240 Páginas
Peso: 0,369 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-06-04T16:08:24-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-03-25T07:31:27-03:00 (Sao Paulo)
Número ISBN/EAN: 3540255761

Número ISBN - Ortografia alternativa:
3-540-25576-1, 978-3-540-25576-5
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: heinrich rust, robinson, abraham
Título do livro: operational semantics timed systems, modeling uniform systems, semantics time, programming for engineering and science


Dados da editora

Autor: Heinrich Rust
Título: 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
Editora: Springer; Springer Berlin
224 Páginas
Ano de publicação: 2005-04-04
Berlin; Heidelberg; DE
Peso: 0,760 kg
Língua: Inglês
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



Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783540320081 Operational Semantics for Timed Systems (Heinrich Rust)


< Para arquivar...