Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science - Heinrich Rust - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540255765 - 4 de abril de 2005
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 de jul.
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de abril de 2005
ISBN13 9783540255765
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 224
Dimensiones 155 × 235 × 12 mm   ·   367 g
Lengua Inglés  

Mas por Heinrich Rust

Mostrar todo

Mere med samme udgiver