00866nam0-2200277---450-99000945900040332120111021075156.0000945900FED01000945900(Aleph)000945900FED0100094590020111020d1997----km-y0itay50------baitaITa-------001yyFranciaminoranze nella Parigi della rivoluzioneAssociation des HygiènistesItaliacollegamenti ferroviari, circoscrizioni amministrative, ambiente urbanoFirenze, Chieti, BresciaMilanoFrancoAngeli1997221 p.ill.24 cmStoria urbana79ITUNINARICAUNIMARCBK990009459000403321Per.it.017(079)I.G. s.i.ILFGEILFGEFRANCIA408167UNINA01779nam 2200517 450 99647886530331620231110224557.03-031-09827-7(MiAaPQ)EBC7020801(Au-PeEL)EBL7020801(CKB)23976609000041EBL7020801(OCoLC)1333082070(AU-PeEL)EBL7020801(PPN)26875912X(EXLCZ)992397660900004120221223d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /edited by Laura Kovács and Karl MeinkeCham, Switzerland :Springer,[2022]©20221 online resource (132 pages)Lecture Notes in Computer Science ;v.13361Description based upon print version of record.Print version: Kovács, Laura Tests and Proofs Cham : Springer International Publishing AG,c2022 9783031098260 Lecture Notes in Computer Science Computer softwareVerificationComputer softwareVerificationCongressesComputer softwareTestingCongressesComputer softwareVerification.Computer softwareVerificationComputer softwareTesting005.3Meinke K(Karl),Kovács LauraMiAaPQMiAaPQMiAaPQBOOK996478865303316Tests and Proofs2841686UNISA