00664nam a22001697a 4500952011300000999001700113020002400130020002600154082001700180100002000197245008400217260003900301300004000340500002000380650008700400942000700487  00104070aRIUbRIUd2025-11-05ePurchased:l0o005.131 OREp103158r2025-11-05 00:00:00t1w2025-11-05yBK  c58737d58737  a9783319640204 (pbk)  a9783319640211 (ebook)  a005.131bORE  aGerard O' Regan  aConcise guide to formal methodsbtheory, fundamentals and industry applications  aSwitzerlandbSpringer naturec2017  axxvi. 322 p.b: ill. col.c; 23 cm.  aIncludes index.  aCopmputer sciencevSoftware engineeringvcomputer securityvModelling languagevFC  cBK