Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 1991
Genre:	EDV / Informatik
	EDV / Theorie / Software-Entw. / Software Engineering / formalspecification / Logic / Modeling / Programmiersprachen / Programming / programminglanguage / Real-time / Semantics / Software Engineering / System / Theoretische Informatik / Verification mehr...
ISBN:	9783540549475
EAN-Code:	9783540549475
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 14 mm
Gewicht:	388 gr
Seiten:	252
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.