Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 14-24 Tagen versandfertig
Veröffentlichung:	Juli 1997
Genre:	EDV / Informatik
	Computers - Languages / Programming / COMPUTERS / Software Development & Engineering / General
ISBN:	9780412820502
EAN-Code:	9780412820502
Verlag:	Springer Us
Einband:	Gebunden
Sprache:	English
Serie:	IFIP Advances in Information and Communication Technology
Dimensionen:	H 234 mm / B 156 mm / D 25 mm
Gewicht:	812 gr
Seiten:	443
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.