Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science - Heinrich Rust - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540255765 - 4 de abril de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Heinrich Rust
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science 2005 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Heinrich Rust

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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.

224 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de abril de 2005
ISBN13 9783540255765
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 224
Dimensões 155 × 235 × 12 mm   ·   367 g
Idioma Inglês  

Mais por Heinrich Rust

Mostrar tudo

Mais da mesma editora

Ver tudo de Heinrich Rust