000 -LEADER |
fixed length control field |
00634nam a2200193Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
161214s9999 xx 000 0 und d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540255765 |
Terms of availability |
pbk |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Item number |
RUS |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Rust, Heinrich |
245 #0 - TITLE STATEMENT |
Title |
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
New York: |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2005 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii, 223 p.; |
Other physical details |
: |
Dimensions |
24 cm. |
365 ## - TRADE PRICE |
Price type code |
INR |
Price amount |
2520.00 |
490 ## - SERIES STATEMENT |
Series statement |
Lecture notes in computer science |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Hybrid computers |
|
Topical term or geographic name as entry element |
Operating systems |
|
Topical term or geographic name as entry element |
Real-time data processing |
|
Topical term or geographic name as entry element |
Semantics |
|
Topical term or geographic name as entry element |
Production Cell |
|
Topical term or geographic name as entry element |
Modelling Strategy |
|
Topical term or geographic name as entry element |
Programming Languages |
|
Topical term or geographic name as entry element |
Computation by Abstract Devices |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |