{"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":34,"n_cols":5,"rows_kept":34,"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],[8,2,8,3],[9,2,9,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],[17,2,17,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[32,2,32,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910312050903321"]
[null,null,"Titolo",null,"Systems and software verification : model-checking techniques and tools / / B. Bérard ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; New York : Springer, c2001"]
[null,null,"ISBN",null,"3540415238 (alk. paper)"]
[null,null,"Descrizione fisica",null,"xii, 190 p. : ill. ; ; 24 cm"]
[null,null,"Disciplina",null,"005.1/4"]
[null,null,"Locazione",null,"FINBC"]
[null,null,"Collocazione",null,"13 65 07"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references  (p. [179]-182)."]
[null,"2.","Record Nr.",null,"UNINA9910788821003321"]
[null,null,"Autore",null,"Aust Manfred"]
[null,null,"Titolo",null,"Enteignungsentschädigung / / bearbeitet von Manfred Aust, Rainer Jacobs, Dieter Pasternak"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany ; ; Boston, Massachusetts : , : De Gruyter, , 2014"]
[{"$nulls":4},"©2014"]
[null,null,"ISBN",null,"3-11-055410-0"]
[{"$nulls":4},"3-11-027760-3"]
[{"$nulls":4},"3-11-038140-0"]
[null,null,"Edizione",null,"[7., neu bearbeitete Auflage.]"]
[null,null,"Descrizione fisica",null,"1 online resource (554 p.)"]
[null,null,"Collana",null,"De Gruyter Praxishandbuch"]
[null,null,"Classificazione",null,"PN 277"]
[null,null,"Disciplina",null,"343.430252"]
[null,null,"Soggetti",null,"Eminent domain - Germany"]
[{"$nulls":4},"Compensation (Law) - Germany"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[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,"Frontmatter -- Vorwort zur siebten Auflage -- Aus dem Vorwort zur ersten Auflage -- Inhaltsverzeichnis -- Abkürzungsverzeichnis -- Literaturverzeichnis -- Einführung -- A -- B -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- Ö -- R -- S -- T -- Ü -- U -- V -- W -- Z -- Anhang -- Register"]
[null,null,null,"Sommario/riassunto","The present book is written for \"on site\" practitioners. They will be given an opportunity to acquire information on the fundamental questions of expropriation law and the latest court decisions quickly, comprehensively and reliably. The book deals with the principles for quantifying compensation for expropriated property in key terms in alphabetical order."]