Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2011
Genre:	EDV / Informatik
ISBN:	9783642775741
EAN-Code:	9783642775741
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 242 mm / B 170 mm / D 23 mm
Gewicht:	722 gr
Seiten:	424
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are centered on logical and functional calculi for specification, refinement, and verification of programs and program systems.