Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Dezember 1991
Genre:	EDV / Informatik
	Concurrency / Logic / Modeling / Netzwerk (elektronisch) / Netzwerk-Hardware / Petrinet / Real-time / real-timesystem / Semantics / Theoretische Informatik / Variable mehr...
ISBN:	9780387976648
EAN-Code:	9780387976648
Verlag:	Springer
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 30 mm
Gewicht:	831 gr
Seiten:	446
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.