{"record":{"leader":"cx  f22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://catalogue.bnf.fr/ark:/12148/cb169630862"},{"code":2,"content":"BNF"},{"code":"d","content":20150519}],"tag":"033"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"FRBNF169630867"},{"code":"z","content":"FRBNF16963086"}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://viaf.org/viaf/124149196258674790618"},{"code":2,"content":"VIAF"},{"code":"C","content":"VIAF"},{"code":"d","content":20240305}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"20150519afrey50      ba0"},"tag":100},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":0},{"code":"b","content":1},{"code":"c","content":0}],"tag":106},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"AFNOR"},"tag":152},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Spin"},{"code":"n","content":"logiciel"}],"tag":230},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Spin model checker"},{"code":"n","content":"logiciel"}],"tag":430},{"ind2":" ","ind1":" ","subfield":[{"code":3,"content":"053469844"},{"code":5,"content":"g|xxx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Logiciels"},{"code":"x","content":"Vérification"}],"tag":550},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":621},{"code":"c","content":"Physique appliquée"},{"code":2,"content":"Note de regroupement par domaine"}],"tag":686},{"ind2":0,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"FR-751131015"},{"code":"c","content":20150504}],"tag":801},{"ind2":3,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"Abes"},{"code":"c","content":20240311},{"code":"g","content":"AFNOR"}],"tag":801},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Verifying multi-threaded software with Spin - http://spinroot.com (2015-05-04)"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Principles of the Spin model checker / M. Ben-Ari, 2008"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"The spin model checker : primer and reference manual / G. J. Holzmann, 2004"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Spin (logiciel)"},"tag":930},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Spin model checker (logiciel)"},"tag":931}],"controlfield":[{"tag":"001","content":185552633},{"tag":"003","content":"http://www.idref.fr/185552633"},{"tag":"004","content":20150519},{"tag":"005","content":20240311215108},{"tag":"006","content":4994},{"tag":"007","content":341720001},{"tag":"008","content":"Tu5"}]}}