{"record":{"leader":"cx  j22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://catalogue.bnf.fr/ark:/12148/cb12258426j"},{"code":2,"content":"BNF"},{"code":"d","content":20150928}],"tag":"033"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"frBN008294098"},"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"FRBNF122584263"},{"code":"z","content":"FRBNF12258426"}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"19920811afrey50      ba0"},"tag":100},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":2},{"code":"b","content":1},{"code":"c","content":1}],"tag":106},{"ind2":" ","ind1":" ","subfield":{"code":"b","content":"rameau"},"tag":152},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Z (méthode formelle)"}],"tag":250},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Notation Z (informatique)"}],"tag":450},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Z (langage de programmation)"}],"tag":450},{"ind2":" ","ind1":" ","subfield":[{"code":3,"content":147646707},{"code":5,"content":"g|xxx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Langages de programmation déclaratifs"}],"tag":550},{"ind2":" ","ind1":" ","subfield":[{"code":3,"content":"050702858"},{"code":5,"content":"g|xxx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Méthodes formelles (informatique)"}],"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":20101025}],"tag":801},{"ind2":3,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"Abes"},{"code":"c","content":20190222},{"code":"g","content":"AFNOR"}],"tag":801},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"The encycl. of computer languages - http://hopl.murdoch.edu.au (2010-10-25)"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"FOLDOC : computing dict. - http://foldoc.org (2010-10-25)"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"La notation Z / J. M. Spivey, 1994"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"La spécification formelle avec Z / D. Lightfoot, 1994"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles)"},"tag":810},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"Réforme Rameau janvier 2019 Td ouverte à la subd. géogr."},{"code":"d","content":20190215}],"tag":898},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Z (méthode formelle)"},"tag":950},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Notation Z (informatique)"},"tag":951},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Z (langage de programmation)"},"tag":951}],"controlfield":[{"tag":"001","content":"031352812"},{"tag":"003","content":"http://www.idref.fr/031352812"},{"tag":"004","content":19920811},{"tag":"005","content":20190222163744},{"tag":"006","content":"0004"},{"tag":"007","content":1999},{"tag":"008","content":"Td8"}]}}