{"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":51,"n_cols":5,"rows_kept":51,"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],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[44,2,44,3],[45,2,45,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910779067903321"]
[null,null,"Titolo",null,"Maritime private security : market responses to piracy, terrorism and waterborne security risks in the 21st century / / edited by Claude Berube and Patrick Cullen"]
[null,null,"Pubbl/distr/stampa",null,"Abingdon, Oxon : , : Routledge, , 2012"]
[null,null,"ISBN",null,"1-136-45718-6"]
[{"$nulls":4},"1-283-44261-2"]
[{"$nulls":4},"9786613442611"]
[{"$nulls":4},"0-203-12660-2"]
[{"$nulls":4},"1-136-45719-4"]
[null,null,"Descrizione fisica",null,"1 online resource (273 p.)"]
[null,null,"Collana",null,"CASS series : naval policy and history, , 1366-9478 ; ; no. 48"]
[null,null,"Disciplina",null,"363.28/7"]
[null,null,"Soggetti",null,"Merchant marine - Security measures"]
[{"$nulls":4},"Private security services"]
[{"$nulls":4},"Armed merchant ships"]
[{"$nulls":4},"Shipping - Security measures"]
[{"$nulls":4},"Piracy - Prevention"]
[{"$nulls":4},"Maritime terrorism - Prevention"]
[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,"pt. 1. The historical and contemporary market in maritime private security services -- pt. 2. The emergence of private anti- piracy escorts in the commercial sector -- pt. 3. The privatization of coast guard services -- pt. 4. Private security responses to maritime terrorism -- pt. 5. Conclusions and future directions."]
[null,null,null,"Sommario/riassunto","This book examines the evolution, function, problems and prospects of private security companies in the maritime sector. The private security industry continues to evolve after its renaissance over the past few decades, first in Africa, and later in Iraq and Afghanistan. Despite this, little academic work has been done to date on the role of private security in the maritime environment. This lacuna has become more pronounced as the threat of piracy, terrorism, and other acts of maritime political violence have caused littoral states and commercial entities alike to consider the use o"]
[null,"2.","Record Nr.",null,"UNINA9910484063103321"]
[null,null,"Titolo",null,"Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-283-47734-3"]
[{"$nulls":4},"9786613477347"]
[{"$nulls":4},"3-642-17071-4"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 339 p. 111 illus., 55 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 6286"]
[null,null,"Disciplina",null,"004.01/51"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Operating Systems"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Programming Techniques"]
[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,null,"Sommario/riassunto","All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This "]
[{"$nulls":4},"state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. The volume contains 17 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP6 project BIONETS on biologically inspired services evolution for the pervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP7 project HATS on highly adaptable and trustworthy software using formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7 project MOGENTES on model-based generation of tests for dependable embedded systems; the IST-FP6 project PROTEST on property based testing; and the IST-FP7 project QUASIMODO on quantitative system properties in model-driven-design of embedded systems."]