00911nam a2200253Ia 4500 WOR-SOF-H Z-201627574 20260729080352.0 260729s9999 xx 000 0 und d 201627574 PK-LaCU English 005.12 WOR WOR Wordsworth, J B Software development with Z a practical approach to formal methods in software engineering / United Kingdon Addison Wesley Publishing 1992 Soft Binding 7424 Rs. Faculty, students and Staff Computer Science Software Engineering https://libgen.is/book/index.php?md5=F5F780AE9CB08782C3B86861F7BC9A74 Please click to web link toaccess the online resource DDC BK WOR 30079 30079 0 0 DDC 0 0 SE ML ML DCS 2026-07-29 Adinfo Books 7424.00 0 005.12 WOR 34320 2026-07-29 08:03:52 Copy 1 https://libgen.is/book/index.php?md5=F5F780AE9CB08782C3B86861F7BC9A74 2026-07-29 BK