00949nam0-22002891i-450-99000061589040332120001010000061589FED01000061589(Aleph)000061589FED0100006158920001010d--------km-y0itay50------baitay-------001yyPATOLOGIA E RESTAURO DEI CALCESTRUZZI ARMATI IN AMBIENTE MARINO,1975CAIRONI M.MilanoI.S.T.C.1975Atti dell'Istituto di Scienza e Tecnica delle Costruzioni del Politecnico di Milano.Atti ed estratti di Università ed Istituti Universitari Italiani.Caironi,Mario23816ITUNINARICAUNIMARCBK99000061589040332107 U/872DINSCDINSCPATOLOGIA E RESTAURO DEI CALCESTRUZZI ARMATI IN AMBIENTE MARINO,1975316805UNINAING0103518nam 22007095 450 99646542920331620200707020255.03-642-21768-010.1007/978-3-642-21768-5(CKB)2670000000095902(SSID)ssj0000530703(PQKBManifestationID)11351556(PQKBTitleCode)TC0000530703(PQKBWorkID)10569182(PQKB)11787809(DE-He213)978-3-642-21768-5(MiAaPQ)EBC3066901(PPN)153860219(EXLCZ)99267000000009590220110627d2011 u| 0engurnn|008mamaatxtccrTests and Proofs[electronic resource] 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /edited by Martin Gogolla, Burkhart Wolff1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 205 p. 48 illus., 20 illus. in color.) Programming and Software Engineering ;6706Bibliographic Level Mode of Issuance: Monograph3-642-21767-2 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing.Programming and Software Engineering ;6706Software engineeringComputer programmingComputer logicMathematical logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer programming.Computer logic.Mathematical logic.Programming languages (Electronic computers).Software Engineering.Programming Techniques.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.005.1Gogolla Martinedthttp://id.loc.gov/vocabulary/relators/edtWolff Burkhartedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465429203316Tests and Proofs772200UNISA