Real time programming: languages, specification and verification

The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of r...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Shyamasundar, R. K, Ramesh, S
Format:	Buch
Sprache:	eng
Schlagworte:	COMPUTERS Real-time programming
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!