Heinrich Rust – författare
Visar alla böcker från författaren Heinrich Rust. Handla med fri frakt och snabb leverans.
4 produkter
Zuverlässigkeit und Verantwortung
Die Ausfallsicherheit von Programmen
E-bok, 2013
766 kr
Lägg i varukorg
Zuverlässigkeit und Verantwortung
Die Ausfallsicherheit von Programmen
Häftad, 2012
760 kr
Lägg i varukorg
Die aktuelle Frage nach der Zuverlassigkeit von programmgestutzten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, moglichst prazise Anworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der …
Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Häftad, 2005
561 kr
Lägg i varukorg
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 time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to …
Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
E-bok, 2005
755 kr
Lägg i varukorg
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 time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to …
