Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Real-Time: Theory in Practice

106,99 €*

Versandkostenfrei

Produktnummer: 18d86fda8faeef4fa394c61ddbbd26fbb9
Themengebiete: Echt-Zeit-System-Spezifikation Echt-Zeit-System-Verfikation Echt-Zeit-Systeme Hardware Models of Time Process Algebra Real-Time Systems Real-Time Systems Verification Specification automata
Veröffentlichungsdatum: 24.06.1992
EAN: 9783540555643
Sprache: Englisch
Seitenzahl: 723
Produktart: Kartoniert / Broschiert
Herausgeber: Bakker, J.W.de Huizing, C. Roever, W.P.de Rozenberg, G.
Verlag: Springer Berlin
Untertitel: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Produktinformationen "Real-Time: Theory in Practice"
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen