Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	August 2005
Genre:	EDV / Informatik
	COMPUTERS / Languages / General / COMPUTERS / Machine Theory / Mathematical theory of computation / Programming & scripting languages# general / Programming and scripting languages# general
ISBN:	9780521018470
EAN-Code:	9780521018470
Verlag:	Cambridge Academic
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 244 mm / B 170 mm / D 17 mm
Gewicht:	493 gr
Illustration:	4 b/w illus. 35 tables, Zeichnungen, nicht spezifiziert, Tabellen, nicht spezifiziert
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.