PakCat catalogue record Programming and mathematical method By edited by Manfred Broy Bibliographic details ISBN3540555587 PublisherSpringer-Verlag Publication placeBerlin Publication year1992 LanguageEnglish Material typeBook Physical descriptionviii, 407 p. Additional authorsBroy, M.