LEADER 03670nam 22007335 450 001 996466572603316 005 20200704114932.0 010 $a3-030-34968-3 024 7 $a10.1007/978-3-030-34968-4 035 $a(CKB)4100000009844952 035 $a(DE-He213)978-3-030-34968-4 035 $a(MiAaPQ)EBC5997074 035 $a(PPN)25549307X 035 $a(EXLCZ)994100000009844952 100 $a20191114d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntegrated Formal Methods$b[electronic resource] $e15th International Conference, IFM 2019, Bergen, Norway, December 2?6, 2019, Proceedings /$fedited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XVII, 554 p. 1489 illus., 92 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v11918 311 $a3-030-34967-5 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers. 410 0$aProgramming and Software Engineering ;$v11918 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aArtificial intelligence 606 $aComputer logic 606 $aComputer simulation 606 $aComputer organization 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogic in AI$3https://scigraph.springernature.com/ontologies/product-market-codes/I21020 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aComputer simulation. 615 0$aComputer organization. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aLogic in AI. 615 24$aSimulation and Modeling. 615 24$aComputer Systems Organization and Communication Networks. 676 $a004.0151 702 $aAhrendt$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTapia Tarifa$b Silvia Lizeth$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466572603316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA LEADER 03190oam 2200457zu 450 001 9910131309803321 005 20210807005005.0 010 $a2-8218-5339-4 024 7 $a10.4000/books.puam.1087 035 $a(CKB)3710000000395804 035 $a(SSID)ssj0001493668 035 $a(PQKBManifestationID)12531959 035 $a(PQKBTitleCode)TC0001493668 035 $a(PQKBWorkID)11510557 035 $a(PQKB)10289443 035 $a(FrMaCLE)OB-puam-1087 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/53064 035 $a(PPN)185661920 035 $a(oapen)doab53064 035 $a(EXLCZ)993710000000395804 100 $a20160829d2006 uy 101 0 $afre 135 $auu||||||m|||| 181 $ctxt 182 $cc 183 $acr 200 13$aLe Meilleur Est Avenir 210 $cPresses universitaires d?Aix-Marseille$d2006 210 31$a[Place of publication not identified]$cPresses universitaires d'Aix Marseille$d2006 215 $a1 online resource (430 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a2-7314-0526-0 330 $aDans cet ouvrage, Jacques Mestre, qui est professeur à la Faculté de droit d'Aix-Marseille, porte un regard résolument optimiste sur les choses de la vie et l'avenir de notre Humanité. Il a choisi de le faire en une triple qualité. D'abord en sa qualité d'enseignant. Animé, après plus de trente ans d'exercice professionnel, d'une passion toujours intacte pour ce superbe métier d'ouverture et de transmission. Mais soucieux également de voir les jeunes trouver leur place, avec tout le bonheur qu'ils méritent, dans une société difficile, à la fois libérée et exigeante, audacieuse et craintive. Ensuite en tant que juriste. Observant ici que nombre de questions fondamentales se posent aujourd'hui, de manière très concrète, en termes juridiques. Et désireux que le Droit, souvent présenté comme ardu et technique, et qui est, en réalité, une matière simple, soit dès lors accessible à tous, et particulièrement à celles et ceux qui ont soif de réflexion et de dialogue. Enfin en tant que citoyen de base, immergé, comme tant d'autres, dans un monde qui le dépasse et, parfois même, l'angoisse. Et pourtant convaincu que ce monde recèle en lui des trésors de passion et d'enthousiasme, d'intelligence et de beauté, susceptibles de le préserver du pire et de l'orienter vers le tout meilleur... À condition encore que ces trésors ne disparaissent pas sous les préoccupations quotidiennes, et qu'ils puissent librement s'exprimer ! L'auteur se propose donc de leur donner la parole, à la manière d'un rapporteur de synthèse qui, à la fin d'un colloque, s'efforcerait de rassembler tous les éléments positifs présentés par les autres pour que l'essentiel soit mis en lumière, et permette à chacun, à la place qui lui revient, de se tourner avec confiance vers l'avenir... 606 $aLaw$xPhilosophy 615 0$aLaw$xPhilosophy. 700 $aMestre$b Jacques$0277304 801 0$bPQKB 906 $aBOOK 912 $a9910131309803321 996 $aLe Meilleur Est Avenir$92055030 997 $aUNINA