01509cam a2200313 a 4500 3480 3480 15464904 OSt 20250605112126.0 080925s2009 nyua b 001 0 eng 2008042407 GBA8C6306 bnb 014794189 Uk 9780521879033 (hardback) 9780521879033 (OCoLC)231581092 DLC KyUL KyUL BTCTA BAKER YDXCP UKM VLB CDX DLC QA 76.758 .M55 2009 QA 76.758 .M55 2009 22 Mills, Bruce, 1962- Practical formal software engineering : wanting the software you get / Bruce Mills. New York : Cambridge University Press, 2009. xxxiii, 339 p. : ill. ; 26 cm. Includes bibliographical references and index. PART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security. Software engineering Textbooks. Technology School of Engineering and Technology 7 cbc orignew 1 ecip 20 y-gencatlg lcc LLB 0 0 lcc 0 0 NFIC KyUCL KyUCL GEN 2017-02-16 Purchase 1 QA 76.758 .M55 2009 KYU/2017/6123 2026-03-31 2018-01-19 2017-02-16 LLB