00554nam a2200169Ia 4500008004100000020002200041082001600063100001900079245005300098250000800151260003100159300001100190600002100201942000700222952013800229999001700367250916s9999    xx            000 0 und d  a978-3-031-26211-1  a005.133 REG  aOregan, Gerard 0aMathematical foundations of software engineering  a1st  aNew York:bSpringer,c2023  a519 p.  aComputer Science  cBK  001040708SEaUITUbUITUd2025-08-07eGolden Booksg22908.54l0o005.133 REGpQ16010r2025-09-16 13:12:10v28635.68w2025-09-16yBK  c31635d31635