01070nam0 22002771i 450 UON0045991820231205105120.3720151028d1965 |0itac50 bafreFR|||| |||||ˆLe ‰meilleur des mondesAldous Huxleytraduit par Jules CastierParisPlon1965433 p.17 cm.Valore stimatoIT-UONSI Francese1 L.P.HUX/1001UON004350782001 ˆLe ‰Livre de Poche210 ParisPlon19-346;347FRParisUONL002984HUXLEYAldousUONV013239155633CASTIERJulesUONV205717Librairie PlonUONV248688650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00459918SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Francese 1 L.P. HUX 1 SI SFR1797 7 1 Valore stimatoMeilleur des mondes942738UNIOR00885nam0-2200265 --450 991088779930332120240925150127.0978-88-288-6517-920240925d2024----kmuy0itay5050 baitaIT 001yyGuerra aerea e razionalità giuridica (1899-1938)la protezione degli inermi nel prisma della filosofia del diritto internazionaleFilippo RuschiMilanoGiuffrè©2024XIV, 516 p.23 cmPer la storia del pensiero giuridico moderno142341.6723itaRuschi,Filippo618172ITUNINAREICATUNIMARCBK9910887799303321COLL. 354 bis (142)2024/1323FGBCFGBCGuerra aerea e razionalità giuridica (1899-1938)4237424UNINA04017nam 22007815 450 991048305620332120251225205431.03-319-61467-310.1007/978-3-319-61467-0(CKB)4340000000061603(DE-He213)978-3-319-61467-0(MiAaPQ)EBC6285488(MiAaPQ)EBC5578675(Au-PeEL)EBL5578675(OCoLC)999467896(PPN)20366857X(EXLCZ)99434000000006160320170617d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /edited by Sebastian Gabmeyer, Einar Broch Johnsen1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XI, 163 p. 38 illus.) Programming and Software Engineering,2945-9168 ;103753-319-61466-5 Abstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges. .This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 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.Programming and Software Engineering,2945-9168 ;10375Software engineeringComputer engineeringComputer networksComputer scienceArtificial intelligenceComputer-aided engineeringComputer programmingSoftware EngineeringComputer Engineering and NetworksComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceComputer-Aided Engineering (CAD, CAE) and DesignProgramming TechniquesSoftware engineering.Computer engineering.Computer networks.Computer science.Artificial intelligence.Computer-aided engineering.Computer programming.Software Engineering.Computer Engineering and Networks.Computer Science Logic and Foundations of Programming.Artificial Intelligence.Computer-Aided Engineering (CAD, CAE) and Design.Programming Techniques.005Gabmeyer Sebastianedthttp://id.loc.gov/vocabulary/relators/edtJohnsen Einar Brochedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483056203321Tests and Proofs2841686UNINA