Foundations of real-time computing: formal specifications and methods : [preliminary versions of these papers were presented at a Workshop on the Foundations of Real-Time Computing sponsored by the Office of Naval Research in October 1990 in Washington, D.C.]

Foundations of real-time computing: formal specifications and methods [preliminary versions of these papers were presented at a Workshop on the Foundations of Real-Time Computing sponsored by the Office of Naval Research in October 1990 in Washington, D.C.]

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Workshop on the Foundations of Real-Time Computing (BerichterstatterIn)
Weitere Verfasser: Tilborg, André M. van (BerichterstatterIn), Koob, Gary M. (BerichterstatterIn), VanTilborg, André M. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston u.a. Kluwer Academic Publishers 1991
Schriftenreihe:Kluwer international series in engineering and computer science 142 : Real time systems
Schlagworte:
Echtzeitsystem > Konferenzschrift
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
Beschreibung:Literaturangaben
Beschreibung:IX, 316 S
graph. Darst
ISBN:0792391675
0-7923-9167-5