00586nam a22001457a 4500 0 0 0 0 RIU RIU 2025-11-03 Purchased: 0 005.1 FOR 103157 2025-11-03 00:00:00 1 2025-11-03 BK 58670 58670 9783030388027 (pbk) 005.1 FOR Formal methods for software engineering languages, methods, application domains Switzerland Springer Nature 2022 xxviii, 524 p. : ill. Col. ; 23 cm. Text in theoretical computer science. an EATCS series Includes appendices and index. Software Engineering Formal languages Computer interaction Security protocols Application domains FC BK