{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":60,"n_cols":5,"rows_kept":60,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[37,2,37,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[52,2,52,3],[53,2,53,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991001627169707536"]
[null,null,"Titolo",null,"Enea Salmeggia detto Talpino : rassegna e studio dell'opera pittorica e grafica : con 186 disegni inediti / a cura di Ugo Ruggeri ; presentazione di C. L. Ragghianti"]
[null,null,"Pubbl/distr/stampa",null,"Bergamo : Monumenta Bergomensia, 1966"]
[null,null,"Edizione",null,"[2. ed.]"]
[null,null,"Descrizione fisica",null,"104 p., [96] c. di tav. : ill. ; 32 cm"]
[null,null,"Collana",null,"Monumenta Bergomensia ; 16"]
[null,null,"Disciplina",null,"759.5"]
[null,null,"Soggetti",null,"Salmeggia, Enea Pittura Studi critici"]
[{"$nulls":4},"Salmeggia, Enea Pittura Studi critici"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910789343303321"]
[null,null,"Autore",null,"Lano Kevin"]
[null,null,"Titolo",null,"The B Language and Method [[electronic resource] ] : A Guide to Practical Formal Development / / by Kevin Lano"]
[null,null,"Pubbl/distr/stampa",null,"London : , : Springer London : , : Imprint : Springer, , 1996"]
[null,null,"ISBN",null,"1-4471-1494-9"]
[null,null,"Edizione",null,"[1st ed. 1996.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 232 p.)"]
[null,null,"Collana",null,"Formal Approaches to Computing and Information Technology (FACIT)"]
[null,null,"Disciplina",null,"005.1/2/015113"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study — Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study — Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques."]
[null,null,null,"Sommario/riassunto","B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics."]
[null,"3.","Record Nr.",null,"UNINA9910806893603321"]
[null,null,"Titolo",null,"Atrial fibrillation ablation : the state of the art based on the VeniceChart international consensus document / / edited by Andrea Natale, Antonio Raviele"]
[null,null,"Pubbl/distr/stampa",null,"Chichester, West Sussex, : Wiley-Blackwell, 2011"]
[null,null,"ISBN",null,"9786613333162"]
[{"$nulls":4},"9781119963844"]
[{"$nulls":4},"1119963842"]
[{"$nulls":4},"9781283333160"]
[{"$nulls":4},"1283333163"]
[{"$nulls":4},"9781119963868"]
[{"$nulls":4},"1119963869"]
[{"$nulls":4},"9781119963837"]
[{"$nulls":4},"1119963834"]
[null,null,"Edizione",null,"[2011 update.]"]
[null,null,"Descrizione fisica",null,"1 online resource (233 p.)"]
[null,null,"Disciplina",null,"616.1/280076"]
[null,null,"Soggetti",null,"Atrial fibrillation - Treatment"]
[{"$nulls":4},"Catheter ablation"]
[{"$nulls":4},"Practice Guideline"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Anatomy of structures relevant to atrial fibrillation ablation -- Pathophysiology of atrial fibrillation -- Techniques and technologies for atrial fibrillation catheter ablation -- Endpoints of catheter ablation for atrial fibrillation -- Patients management pre-, during and post-ablation -- Periprocedural and long-term anticoagulation -- Periprocedural and late complications -- Short- and long-term efficacy -- Indications to atrial fibrillation ablation and cost effectiveness -- Clinical trials on atrial fibrillation / future perspectives -- Surgical approach / ablation -- Hospital equipment and facilities, personnel, training requirements and competences."]
[null,null,null,"Sommario/riassunto","This concise text presents best practices for all aspects of atrial fibrillation ablation as outlined in the new version of the VeniceChart International Consensus document, which is presented in conjunction with the biannual Venice Arrhythmias conference. In addition to "]
[{"$nulls":4},"discussing the latest in a-fib ablation research, this 2011 update covers all the key areas of therapy and patient management, including:  Techniques and technologies Procedural endpoints Patient management pre-, peri- and post-ablation Prevention and treatment of complications Definition of success and"]