03401nam 22006495 450 99646590820331620200701235515.03-642-19583-010.1007/978-3-642-19583-9(CKB)2670000000076047(SSID)ssj0000537430(PQKBManifestationID)11352577(PQKBTitleCode)TC0000537430(PQKBWorkID)10552732(PQKB)10053901(DE-He213)978-3-642-19583-9(MiAaPQ)EBC3066523(PPN)151589526(EXLCZ)99267000000007604720110309d2011 u| 0engurnn|008mamaatxtccrHardware and Software: Verification and Testing[electronic resource] 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 197 p. 51 illus., 13 illus. in color.) Programming and Software Engineering ;6504Bibliographic Level Mode of Issuance: Monograph3-642-19582-2 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.Programming and Software Engineering ;6504Software engineeringComputer logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer logic.Programming languages (Electronic computers).Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.005.1Barner Sharonedthttp://id.loc.gov/vocabulary/relators/edtHarris Ianedthttp://id.loc.gov/vocabulary/relators/edtKroening Danieledthttp://id.loc.gov/vocabulary/relators/edtRaz Ornaedthttp://id.loc.gov/vocabulary/relators/edtInternational Haifa Verification ConferenceBOOK996465908203316Hardware and Software, Verification and Testing772242UNISA02936nam0 22005533i 450 CFI015134620251003044126.08815028390978881502839619910408d1990 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierCostituzionalismo antico e modernoCharles Howard McIlwaina cura di Nicola MatteucciNuova ed. italianaBolognaIl mulino©1990222 p.21 cmUniversale paperbacks Il mulino248Trad. di Vittorio de Caprariis001CFI00000332001 Universale paperbacks Il mulino248Constitutionalism, ancient and modern. -CFI0170128CFIV09871913134CostituzionalismoStoriaFIRCFIC050289E320.5TEORIE E IDEOLOGIE POLITICHE12321.8FORME DEMOCRATICHE20321.809Forme democratiche. Storia.12321.809FORME DEMOCRATICHE. TRATTAMENTO STORICO19321.8092FORME DEMOCRATICHE. Persone21321.8094FORME DEMOCRATICHE. Europa21342.009DIRITTO COSTITUZIONALE E AMMINISTRATIVO. Trattamento storico e geografico22342.0201STRUMENTI FONDAMENTALI DELLO STATO. Filosofia e teoria21McIlwain, Charles HowardCFIV098719070206357Matteucci, Nicola <1926-2006>CFIV019880De Caprariis, VittorioCFIV032030Matteucci Armandi Avogli Trotti, NicolaSBNV006864Matteucci, Nicola <1926-2006>ITIT-00000019910408IT-BN0095 IT-SA0252 IT-NA0079 IT-NA0070 IT-NA0120 IT-NA0581 IT-NA0095 NAP 01LT $NAP 83IAN $NAP SBSAB-CAM $NAP FCFONDO $NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. NAP BNS.AMER. Acquisti sezione americanaCFI0151346Biblioteca Centralizzata di Ateneo1 v. 01LT (AR) 22 B 122 01AR 0700221225 VMA 1 v.B 20140418201404181 v. 01LT (AR) 22 B 124 01AR 0700221245 VMA A4(bis 1 v. (2. copia)Y 20191011201910111 v. 01POZZO LIB.ECON MON 3116 0101 0700313145E VMA 1 v. (Precedente collocazione: 31 EC (AR) 314)B 2023030920230309 01 83 BN BU CR FC SBConstitutionalism, ancient and modern13134UNISANNIO