00587nam a22001457a 4500 0 0 0 0 fsd fsd 2026-03-10 Purchased: IMP 8000.00 0 005.1 FOR 114505 2026-03-10 00:00:00 1 0754 2026-03-10 BK 0 0 0 0 fsd fsd 2026-03-10 Purchased: IMP 8000.00 0 005.1 FOR 114506 2026-03-10 00:00:00 2 0754 BK 0 0 0 0 fsd fsd 2026-03-10 Purchased: IMP 8000.00 0 005.1 FOR 114507 2026-03-10 00:00:00 3 0754 BK 60906 60906 9783030387990 (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