03539nam 22007215 450 99646555560331620200629203807.03-319-66845-510.1007/978-3-319-66845-1(CKB)4100000000393623(DE-He213)978-3-319-66845-1(MiAaPQ)EBC6283368(MiAaPQ)EBC5577601(Au-PeEL)EBL5577601(OCoLC)1003646067(PPN)204533546(EXLCZ)99410000000039362320170826d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods[electronic resource] 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /edited by Nadia Polikarpova, Steve Schneider1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XXI, 438 p. 109 illus.) Programming and Software Engineering ;105103-319-66844-7 This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.Programming and Software Engineering ;10510Software engineeringProgramming languages (Electronic computers)ComputersComputer organizationArtificial intelligenceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000The Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075Software engineering.Programming languages (Electronic computers).Computers.Computer organization.Artificial intelligence.Software Engineering.Programming Languages, Compilers, Interpreters.Theory of Computation.Computer Systems Organization and Communication Networks.Artificial Intelligence.The Computing Profession.004.0151Polikarpova Nadiaedthttp://id.loc.gov/vocabulary/relators/edtSchneider Steveedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465555603316Integrated Formal Methods772444UNISA01166nam 2200349 n 450 99639003880331620221108064813.0(CKB)1000000000656512(EEBO)2240893587(UnM)99845775(EXLCZ)99100000000065651219911007d1613 uy |engurbn||||a|bb|A straunge foot-post[electronic resource] vvith a packet full of strange petitions. After a long vacation for a good termePrinted at London By E[dward] A[llde] dwelling neare Christ-Church1613[52] p"To the reader" signed: Anthony Nixon.With a title-page woodcut.Printer's name from STC.Signatures: A² B-G⁴.Reproduction of a photostat of the original in the Henry E. Huntington Library and Art Gallery.eebo-0113Nixon Anthony1003634Cu-RivESCu-RivESCStRLINWaOLNBOOK996390038803316A straunge foot-post2331715UNISA02407nam0 22004693i 450 RMS155948620251003044345.00471651281cloth978047165128420060523d2006 ||||0itac50 baengusz01i xxxe z01nˆA ‰basic introduction to pollutant fate and transportan integrated approach with chemistry, modeling, risk assessment, and environmental legislationFrank M. DunnivantElliot AndersHobokenWiley-Interscience, a John Wiley & Sons publication©2006XXII, 480 p.1 CD-ROM ; 24 cm. In cop.: With the pC-pH simulator, the pollutant fate and transport simulator fate®Professor of Pure Mathematics, University of Cambridge, United KingdomMILV022915Whitman College, Walla Walla, Washington DC, U.S.A.RMSV639438Educational Solutions, Mohawk Trail Reg. Sch. Distr., Shelburne Falls, U.S.A.RMSV639440Chemist, Washington DC, U.S.A.UTOV505877Professor, Environmental Chemistry, Clemson University, South Carolina, U.S.A.UTOV505880Subsurface Sc. Group, Env. Sc. Div., Oak Ridge National laboratory, TN, U.S.A.UTOV505881Institut für Biogeochemie und Schadstoffdynamik, ETH Zürich, SwitzerlandUTOV505882Tecnologia del controllo dell'inquinamentoFIRNAPC221003I628.5TECNOLOGIA DEL CONTROLLO DELL'INQUINAMENTO E INGEGNERIA SANITARIA INDUSTRIALE14Dunnivant, Frank M.RMSV639438070448177Anders, ElliotRMSV639440070448178Coates, John <matematico>MILV022915280McLean, LorettaUTOV505877280Elzerman, AlanUTOV505880280Jardine, PhilipUTOV505881280Schwarzenback, René P.UTOV505882280ITIT-00000020060523IT-BN0095 NAP 01SALA $RMS1559486Biblioteca Centralizzata di Ateneo1 v. 01SALA 628.5 DUN.ba 0104 0000007955 VMA 1 v.A 2007111620071116 01Basic introduction to pollutant fate and transport108678UNISANNIO