{"text_format":"5","workbook":"xls","n_sheets":1,"sheets":["report2"],"props":{"last_modified_by":"sharecat"},"not_rendered":{"external_links":1,"defined_names":1},"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":18,"n_cols":5,"rows_kept":18,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[11,2,11,3],[12,2,12,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910702370303321"]
[null,null,"Autore",null,"Reddy Uday S"]
[null,null,"Titolo",null,"Transformational derivation of programs using the Focus system [[electronic resource] /] / Uday S. Reddy"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : [National Aeronautics and Space Administration], , [1988]"]
[null,null,"Descrizione fisica",null,"1 online resource (22 pages)"]
[null,null,"Collana",null,"[NASA contractor report] ; ; NASA-CR-184875"]
[null,null,"Soggetti",null,"Applications programs (computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Program verification (computers)"]
[{"$nulls":4},"Software development tools"]
[{"$nulls":4},"Software engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[{"$nulls":3},"Livello bibliografico","Monografia"]
[{"$nulls":3},"Note generali","Title from label (viewed on Nov. 27, 2012)."]
[{"$nulls":4},"\"September 2, 1988.\""]
[{"$nulls":4},"\"CHORS-TM-89-001.\""]
[{"$nulls":3},"Nota di bibliografia","Includes bibliographical references (pages 20-22)."]