00538nam a22001217a 4500020002500000082001500025245008600040260003900126300004200165500005800207500003600265650011500301  a9783030387990  (pbk)  a005.1bFOR  aFormal methods for software engineering blanguages, methods, application domains  aSwitzerlandbSpringer Naturec2022  axxviii, 524 p.b: ill. Col.c; 23 cm.  aText in theoretical computer science.
an EATCS series  aIncludes appendices and index.   aSoftware Engineering vFormal languages vComputer interaction vSecurity protocols vApplication domains vFC