LEADER 01021nam a2200265|i 4500 001 991003599419707536 005 20021219124302.0 008 020319s|||| it u u itauu 020 $a8814091048 035 $ab11837433-39ule_inst 035 $aLE02736577$9ExL 040 $aDip.to Studi Giuridici$bita 082 0 $a346.45029 100 1 $aDelle Monache, Stefano$0147085 245 13$aLa contemplatio domini :$bcontributo alla teoria della rappresentanza /$cStefano Delle Monache 260 0 $aMilano :$bA. Giuffrè,$c2001 300 $axiii, 477 p. ;$c25 cm. 490 0 $aPubblicazioni della Facoltà giuridica dell'Università di Ferrara. Ser. 2. ;$v41 650 4$aContratti - Rappresentanza 907 $a.b11837433$b27-04-17$c20-12-02 912 $a991003599419707536 945 $aLE027 346.45 DM001.01$g1$i2027000029037$lle027$o-$pE0.00$q-$rl$s- $t0$u8$v2$w8$x0$y.i12088900$z20-12-02 996 $aContemplatio domini$9516900 997 $aUNISALENTO 998 $ale027$b01-01-02$cm$da $e-$fita$git $h3$i1 LEADER 01601nam 2200481 450 001 9910825827703321 005 20230622123458.0 010 $a84-9052-273-1 035 $a(CKB)4100000011290164 035 $a(OCoLC)1193336605 035 $a(FINmELB)ELB129299 035 $a(MiAaPQ)EBC7098653 035 $a(Au-PeEL)EBL7098653 035 $a(EXLCZ)994100000011290164 100 $a20230308d2019 uy 0 101 0 $aspa 135 $aurcn||||||||| 181 $ctxt$2rdacontent/spa 182 $cc$2rdamedia/spa 183 $acr$2rdacarrier/spa 200 10$aAuditori?a del sistema APPCC $eco?mo verificar los sistemas de gestio?n de inocuidad alimentaria HACCP /$fLuis Couto Lorenzo 205 $aSecond edition. 210 1$aMadrid, Spain :$cEdiciones Di?az de Santos,$d[2019] 210 4$d©2019 215 $a1 recurso en li?nea (xviii, 200 pa?ginas) $cilustraciones 311 $a84-9052-248-0 320 $aIncludes bibliographical references and index. 606 $aAnàlisi de perills i punts de control crític$2thub 606 $aFood$xAnalysis 606 $aFood industry and trade$xQuality control 608 $aLlibres electrònics $2 thub 615 7$aAnàlisi de perills i punts de control crític 615 0$aFood$xAnalysis. 615 0$aFood industry and trade$xQuality control. 676 $a664.07 700 $aCouto Lorenzo$b Luis$01680562 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910825827703321 996 $aAuditori?a del sistema APPCC$94049347 997 $aUNINA LEADER 03933nam 22006975 450 001 9910349278403321 005 20251225195125.0 010 $a3-030-31157-0 024 7 $a10.1007/978-3-030-31157-5 035 $a(CKB)4100000009362642 035 $a(DE-He213)978-3-030-31157-5 035 $a(MiAaPQ)EBC5918015 035 $a(PPN)248601598 035 $a(EXLCZ)994100000009362642 100 $a20190910d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTests and Proofs $e13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9?11, 2019, Proceedings /$fedited by Dirk Beyer, Chantal Keller 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (X, 207 p. 339 illus., 34 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11823 300 $aIncludes Index. 311 08$a3-030-31156-2 327 $aWhen are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP -- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers -- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing with Symbolic Transition Systems -- BTestBox - A tool for testing B translators and coverage of B models -- Predicting and Testing Latencies with Deep Learning: an IoT Case Study -- Learning Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving a Non-Blocking Algorithm for Process Renaming with TLA+ -- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties -- Property-Based Test Case Generators for Free. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11823 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aElectronic digital computers$xEvaluation 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSystem Performance and Evaluation 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 0$aElectronic digital computers$xEvaluation. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSystem Performance and Evaluation. 676 $a005.14 676 $a005.14 702 $aBeyer$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKeller$b Chantal$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349278403321 996 $aTests and Proofs$92841686 997 $aUNINA