Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 1994
Genre:	Schulbücher
	Algorithms / Calculus / Distribution / Informatik / Programming / programminglanguage
ISBN:	9783540199311
EAN-Code:	9783540199311
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 10 mm
Gewicht:	277 gr
Seiten:	176
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

BOn the Refinement Calculus/B gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.