{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":46,"n_cols":5,"rows_kept":46,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[31,2,31,3],[40,2,40,3],[41,2,41,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910971116403321"]
[null,null,"Autore",null,"Lano Kevin"]
[null,null,"Titolo",null,"The B Language and Method : 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},"Machine theory"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Compilers and 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,"2.","Record Nr.",null,"UNINA9910564688903321"]
[null,null,"Titolo",null,"Advances in Geophysics, Tectonics and Petroleum Geosciences : Proceedings of the 2nd Springer Conference of the Arabian Journal of Geosciences (CAJG-2), Tunisia 2019 / / edited by Mustapha Meghraoui, Narasimman Sundararajan, Santanu Banerjee, Klaus-G. Hinzen, Mehdi Eshagh, François Roure, Helder I. Chaminé, Said Maouche, André Michard"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"3-030-73026-3"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (642 pages)"]
[null,null,"Collana",null,"Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development, , 2522-8722"]
[null,null,"Disciplina",null,"550.5"]
[{"$nulls":4},"550"]
[null,null,"Soggetti",null,"Earth sciences"]
[{"$nulls":4},"Physical geography"]
[{"$nulls":4},"Natural disasters"]
[{"$nulls":4},"Geochemistry"]
[{"$nulls":4},"Geography"]
[{"$nulls":4},"Earth Sciences"]
[{"$nulls":4},"Earth System Sciences"]
[{"$nulls":4},"Natural Hazards"]
[{"$nulls":4},"Earth and Environmental Sciences"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Tsunami hazard along the Eastern African coast from mega-earthquake sources in the Indian Ocean -- Preliminary tsunami hazard map of Africa -- The AD 365 Crete earthquake/tsunami impact in the Mediterranean region -- The AD 365 Alexandria (Egypt) tsunami revisited -- Seismotectonics of the Easternmost Cyprus Arc: Implications for Tsunami Hazard Assessment -- Seismic Hazard and Risk in Africa, a hidden hazard in an extreme vulnerable context -- Seismotectonics of the Khurutse Region, Botswana -- Kinematic and elastic modelling of fault-related-folds:‎ A study from active structures of the Tell Atlas ‎(Northern Algeria)‎ -- Magmatic rifting and seismicity in Afar and northern Main Ethiopian Rift -- Architecture and evolution of "]
[{"$nulls":4},"the Kivu rift within the western branch of the East African rift system: Implications for seismic hazard assessment."]
[null,null,null,"Sommario/riassunto","This edited book is based on the best papers accepted for presentation during the 2nd Springer Conference of the Arabian Journal of Geosciences (CAJG-2), Tunisia, in 2019. It is of interest to all researchers practicing geophysics/seismology, structural, and petroleum geology. With four sections spanning a large spectrum of geological and geophysical topics with particular reference to Middle East, Mediterranean region, and Africa, this book presents a series of research methods that are nowadays in use for measuring, quantifying, and analyzing several geological domains. It starts with a subsection dedicated to the latest research studies on seismic hazard and risk assessment in Africa presented during the 2019 IGCP-659 meeting organized alongside the CAJG-2. And, it includes new research studies on earthquake geodesy, seismotectonics, archeoseismology and active faulting, well logging methods, geodesy and exploration/theoretical geophysics, petroleum geochemistry,petroleum engineering, structural geology, basement architecture and potential data, tectonics and geodynamics, and thermicity, petroleum, and other georesources. The edited book gives insights into the fundamental questions that address the genesis and evolution of our planet, and this is based on data collection and experimental investigations under physical constitutive laws. These multidisciplinary approaches combined with the geodynamics of tectonic provinces and investigations of potential zones of natural resources (petroleum reservoirs) provide the basis for a more sustainability in the economic development. ."]