Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	August 1993
Genre:	EDV / Informatik
	Architecture / Architectures / Design / Development / distributedsystems / EDV / Theorie / Software-Entw. / Software Engineering / Informatik / operatingsystem / Organization / real-timesystem / Simulation / Software / Software Engineering / Softwareengineering / systemdevelopment / Testing mehr...
ISBN:	9780792393863
EAN-Code:	9780792393863
Verlag:	Springer
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 14 mm
Gewicht:	418 gr
Seiten:	164
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.