00507 a2200181 4500 29747 29747 WUSLLib 200908b ||||| |||| 00| 0 eng d 3540636137 English 004.21 HUB Hubmann, Heinrich 16576 Formal foundations for software engineering methods New York: Springer, 1997 x, 286p.; 24cm. Systems analysis and design 16277 Computer science 16577 SR ddc 0 0 ddc 0 0 SRC MAIN MAIN REF 2008-07-08 4437.50 0 004.21HUB 6545 2017-08-23 00:00:00 0.00 2016-10-31 SR