specification and verification Broy, Manfred Leuxner, Christian Hoare, Tony text ne Amsterdam IOS Press 2011 monographic eng

print

ix, 285 p. : ill. ; 25 cm. specialized edited by Manfred Broy, Christian Leuxner and Tony Hoare Includes bibliographical references and index Computer security Congresses Computer software Verification Congresses Software engineering Congresses Sub-series D Information and communication security 9781607507109 1607507102 UMP 110722 20251125093023.0 vtls000055022