Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
engleză
132 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
164.42
lei
/
Carte broșată
62.19
lei
/
Carte broșată
181.90
lei
/
Carte broșată
157.25
lei
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.
Informații despre carte
engleză
Categorii
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Copertă tare
557.26
lei
/
Carte broșată
104.83
lei
/
Carte broșată
71.65
lei
/
Carte broșată
97.44
lei
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?