Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 1990
Genre:	EDV / Informatik
	ableitung / Automata / Beweistheorie / Computerprogrammierung und Softwareentwicklung / Distributed Data Processing / distributedsystems / formalverification / Informationssystem / Verteiltes System / Logic / modelchecking / Petrinet / Programming / ProofTheory / Semantics / Systemanalyse und -design / Theoretische Informatik / Verfeinerung / Verification / Verteiltes System (EDV) / verteiltesDatenverarbeitungssystem mehr...
ISBN:	9783540525592
EAN-Code:	9783540525592
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 44 mm
Gewicht:	1223 gr
Seiten:	824
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.