LEADER 01386nam a22002771i 4500 001 991000183179707536 005 20040729072345.0 008 040802s1977 it |||||||||||||||||ita 035 $ab13187296-39ule_inst 035 $aARCHE-113990$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a328.45 100 1 $aMartino, Gaetano$084266 245 10$aDiscorsi parlamentari di Gaetano Martino /$cpubblicati per deliberazione della Camera dei Deputati 260 $aRoma :$bGrafica editrice romana,$c1977- 300 $av. ;$c27 cm 710 1 $aItalia.$bCamera dei deputati 907 $a.b13187296$b02-04-14$c05-08-04 912 $a991000183179707536 945 $aLE002 Dir. X H 2/001$g1$i2002000382399$lle002$nV. 1. - C. 1$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13828927$z05-08-04 945 $aLE002 Dir. X H 2/001 bis$g1$i2002000382382$lle002$nV. 1. - C. 2$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13828939$z05-08-04 945 $aLE002 Dir. X H 2/002$g1$i2002000382375$lle002$nV. 2. - C. 1$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13828940$z05-08-04 945 $aLE002 Dir. X H 2/002 bis$g1$i2002000382641$lle002$nV. 2. - C. 2$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13828952$z05-08-04 996 $aDiscorsi parlamentari di Gaetano Martino$984657 997 $aUNISALENTO 998 $ale002$b05-08-04$cm$da $e-$fita$git $h0$i4 LEADER 01146nam a22002771i 4500 001 991000706989707536 005 20040127150250.0 008 040220s1978 it |||||||||||||||||ita 035 $ab12658376-39ule_inst 035 $aARCHE-065671$9ExL 040 $aDip.to Scienze pedagogiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a330.1 100 1 $aDuso, Anna$0124530 245 10$aKeynes in Italia :$bteoria economica e politica economica in Italia negli anni Sessanta e Settanta : contributi per un dibattito /$cAnna Duso ; Massimo Cacciari, Alcune riflessioni sul nuovo modello ; Umberto Curi, Sulla crisi del marxismo 260 $aBari :$bDe Donato,$cc1978 300 $a183 p. ;$c18 cm 440 0$aDissensi ;$v93 650 4$aEconomia$xTeorie 700 1 $aCacciari, Massimo 700 1 $aCuri, Umberto 907 $a.b12658376$b02-04-14$c17-03-04 912 $a991000706989707536 945 $aLE022 MP 117 E 31$g1$i2022000174756$lle022$o-$pE0.00$q-$rl$s- $t0$u1$v2$w1$x0$y.i13165173$z17-03-04 996 $aKeynes in Italia$9272847 997 $aUNISALENTO 998 $ale022$b17-03-04$cm$da $e-$fita$git $h0$i1 LEADER 03899nam 22007695 450 001 9910349435403321 005 20251225203558.0 010 $a9783319929941 010 $a3319929941 024 7 $a10.1007/978-3-319-92994-1 035 $a(CKB)3810000000358660 035 $a(DE-He213)978-3-319-92994-1 035 $a(MiAaPQ)EBC6287859 035 $a(PPN)229494331 035 $a(EXLCZ)993810000000358660 100 $a20180601d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTests and Proofs $e12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /$fedited by Catherine Dubois, Burkhart Wolff 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIV, 185 p. 48 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10889 311 08$a9783319929934 311 08$a3319929933 327 $aTests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 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 ;$v10889 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aData protection 606 $aComputer science 606 $aMachine theory 606 $aComputers 606 $aProfessions 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aData and Information Security 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aThe Computing Profession 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aData protection. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputers. 615 0$aProfessions. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aData and Information Security. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aThe Computing Profession. 676 $a004 702 $aDubois$b Catherine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWolff$b Burkhart$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349435403321 996 $aTests and Proofs$92841686 997 $aUNINA