00882nam0-22002891i-450-99000660828040332120001010000660828FED01000660828(Aleph)000660828FED0100066082820001010d--------km-y0itay50------baitay-------001yy<<The >>Law of the Economy in the European Communities. With a Chapter on AgricultureD. Lasok, J. W. BridgeLondonButterworths1980XXXVIII, 455 p., 22 cmLasok,Dominik268939Bridge,J.W.ITUNINARICAUNIMARCBK990006608280403321III Q 201S.I.FSPBCFSPBCLaw of the Economy in the European Communities. With a Chapter on Agriculture621213UNINAGEN0100779nam0-22002891i-450 99000176567040332120190529131357.0000176567FED01000176567(Aleph)000176567FED0100017656720030910d1962----km-y0itay50------baengNewer paths in taxonomyJohn O. Corliss[S.l.s.n.]19628 p.25 cmForum Lectures.Biology series5Zoologia tassonomica591Corliss,John O.76750ITUNINARICAUNIMARCLG99000176567040332160 OP. 61/1537430FAGBCFAGBCNewer paths in taxonomy364018UNINA04155nam 22007695 450 991040968020332120251113204510.03-030-41600-310.1007/978-3-030-41600-3(CKB)4100000010770672(DE-He213)978-3-030-41600-3(MiAaPQ)EBC6133784(PPN)243222718(EXLCZ)99410000001077067220200313d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierVerified Software. Theories, Tools, and Experiments 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /edited by Supratik Chakraborty, Jorge A. Navas1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.) Programming and Software Engineering,2945-9168 ;12031Includes index.3-030-41599-6 Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding.This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.Programming and Software Engineering,2945-9168 ;12031Software engineeringComputer scienceCompilers (Computer programs)Electronic digital computersEvaluationComputers, Special purposeComputersProfessionsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSystem Performance and EvaluationSpecial Purpose and Application-Based SystemsThe Computing ProfessionSoftware engineering.Computer science.Compilers (Computer programs).Electronic digital computersEvaluation.Computers, Special purpose.Computers.Professions.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.System Performance and Evaluation.Special Purpose and Application-Based Systems.The Computing Profession.005.14005.14Chakraborty Supratikedthttp://id.loc.gov/vocabulary/relators/edtNavas Jorge Aedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910409680203321Verified Software. Theories, Tools and Experiments3004619UNINA