{"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":53,"n_cols":5,"rows_kept":53,"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],[16,2,16,3],[17,2,17,3],[21,2,21,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[41,2,41,3],[42,2,42,3],[46,2,46,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465867103316"]
[null,null,"Titolo",null,"Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 328 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 3657"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Operating Systems"]
[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,"A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability."]
[null,null,null,"Sommario/riassunto","Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, "]
[{"$nulls":4},"their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems."]
[null,"2.","Record Nr.",null,"UNINA9910300461903321"]
[null,null,"Autore",null,"Petersen Richard"]
[null,null,"Titolo",null,"Beginning Fedora Desktop : Fedora 20 Edition / / by Richard Petersen"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014"]
[null,null,"ISBN",null,"9781484200674"]
[{"$nulls":4},"1484200675"]
[null,null,"Edizione",null,"[2nd ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (487 p.)"]
[null,null,"Collana",null,"Expert's voice in Linux"]
[null,null,"Disciplina",null,"005.432"]
[null,null,"Soggetti",null,"Open source software"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Open Source"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Computer Applications"]
[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","Includes index."]
[{"$nulls":4},"\"The Expert's Voice in Linux\"--Cover."]
[null,null,"Nota di contenuto",null,"Contents at a Glance; Introduction; Chapter 1: Fedora 20 Introduction; Fedora Documentation; Fedora 20; Fedora 20 Desktop Features; Fedora ISO Images; Fedora Custom Spins; Multimedia; Fedora Live DVD; Starting the Live DVD; Installing Fedora from a Live DVD; USB Live Disk; liveusb-creator; livecd-iso-to-disk; Live USB Persistence Storage; Persistent Home Directory; Fedora Logo; Linux; Open Source Software; Linux Documentation; Chapter 2: Installation and Upgrade; Obtaining the DVDs; Install Strategies: Making Use of Repositories; Live DVD Advantages; Fedora Install DVD Advantages"]
[{"$nulls":4},"Installation IssuesInstalling Dual-Boot Systems; Storage Configuration; Install Sources (Install DVD); Basic Install with Fedora Live Desktop DVD; Quick Install with the Install DVD; Installing Fedora Linux; Starting the Installation Program with the Install DVD; Check Disk Media; Initial Setup; Automatic Partitioning; Manual Partitioning: Partitions, BTRFS, RAID, and Logical Volumes; Recommended Partitions; Creating Partitions; Logical Volumes; RAID and BTRFS; Software Installation Configuration with the Fedora Install DVD/CDs; GRUB on Restart; GNOME Initial Setup and GNOME Help"]
[{"$nulls":4},"Upgrading Fedora LinuxCreating Boot Disks; Booting in Rescue Mode; Reinstalling the Bootloader; Chapter 3: Usage Basics: Login, Desktop, and Help; User Accounts; GRUB Start Menu and Boot Problems; The Display Manager: GDM; The System Status Area; Important Laptop Features; Desktops; KDE; Xfce and LXDE; Cinnamon and Mate; GNOME; GNOME File Manager; GNOME Customization with Tweak Tool: Themes, Icons, Fonts, Startup Applications, and Extensions; Logging Out and Shutting Down from GNOME; Network Connections; Network Manager Wired Connections; Network Manager Wireless Connections"]
[{"$nulls":4},"System Settings Network (GNOME and Proxies)System Settings; Background; Date & Time; Notifications; Privacy; Details (System Information); Using Removable Devices and Media; Sharing; Power Management; Mouse and Touchpad; Display (Resolution and Rotation); Universal Access; Keyboard and Language; Color Profiles (GNOME Color Manager); Online Accounts; Accessing File Systems, Devices, and Remote Hosts; Video Drivers; Multimedia Support: MP3, DVD Video, and DivX; Terminal Window; Command-Line Interface; Running Windows Software on Linux: Wine; Help Resources; GNOME and KDE Help"]
[{"$nulls":4},"Context-Sensitive HelpApplication Documentation; The Man Pages; The Info Pages; Web Resources; Chapter 4: Installing and Updating Software: YUM, GNOME Software, PackageKit, and RPM; Software Repositories; Fedora Software Repositories; RPM Fusion; Adobe and Livna; Third-Party Linux Software Archives; Updating Fedora: GNOME Software and Software Update; Updating Fedora with GNOME Software Update; Updating Fedora with Software Update (PackageKit); Update Preferences; Update with the yum Command; Automatic YUM Update with cron; Presto: Efficient Updating with DeltaRPM Packages"]
[{"$nulls":4},"Installing Software Packages"]
[null,null,null,"Sommario/riassunto","Beginning Fedora Desktop: Fedora 20 Edition is a complete guide to using the Fedora 20 Desktop Linux release as your daily driver for multimedia, productivity, social networking, the GNOME 3 desktop, administrative tasks, and more. Author and Linux expert Richard Petersen delves into the operating system as a whole and offers you a complete treatment of Fedora 20 Desktop configuration and use. You'll discover how to install and update the Fedora 20 Desktop, learn which applications perform which functions, how to manage software, use of the GNOME 3 and KDE desktop configuration tools, useful shell commands, and both the Fedora administration and network tools. Get the most out of Fedora 20 Desktop -- including free Office suites, editors, e-book readers, music and video applications and codecs, email clients, Web browsers, FTP and BitTorrent clients, microblogging and IM applications -- with a copy of Beginning Fedora Desktop: Fedora 20 Edition at your side."]